High integrity Ada the SPARK approach

Saved in:
Bibliographic Details
Main Author: Barnes, J. G. P. John Gilbert Presslie
Corporate Author: Praxis Critical Systems Limited
Format: Unknown
Published: Harlow, England Reading, Mass. Addison-Wesley 1997
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!