Supporting formal reasoning for safety critical systems /
Gurr, C. A.
University of Edinburgh.Human Communication Research Centre.
Economic and Social Research Council (Great Britain)
Edinburgh : Human Communication Research Centre,
1994.
HCRC is supported by the Economic & Social Research Council.
Includes bibliographical references.