Formal methods in safety critical systems
Subtitle: report of the Public Affairs Board, Safety Critical Systems Committee.
Series: Public affairs report / Institution of Electrical Engineers -- no.9; Public affairs report (Institution of Electrical Engineers) -- no.9.
Publisher: Institution of Electrical Engineers
Published: 1991
Place of publication: [London]
Language: eng
Number of pages: 11