High integrity software : the Spark approach to safety and security /

Bibliographic Details
Main Author:	Barnes, J. G. P. (John Gilbert Presslie)
Format:	Book
Language:	English
Published:	London ; Boston : Addison-Wesley, [2003]
Subjects:	Computer software > Reliability. Computer software > Development. Ada (Computer program language)

Remote Storage