High integrity compilation
Subtitle: a case study.
Publisher: Prentice-Hall
Published: 1993
Place of publication: NewYork; London
Language: eng
Number of pages: 200