Title: Design of dependable Ada software
First published: 1996
Subjects: Development, Ada (Computer program language), Computer software
LC classification: QA76.73.A35 M68 1996