Approaches to software verification with emphasis on real-time applications
Computers in Aerospace Conference ; 1977 ; Los Angeles , CA , U.S.A.
1977-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Approaches for Pure Software System Verification Facilities
British Library Conference Proceedings | 2005
|