High - integrity software edited by Chris Bennett.

Bibliographic Details
Other Authors: Sennett, C. T.
Format: Book
Language:English
Published: London Pitman c1989.
Series:Software science and engineering series
Subjects: