Formal specification and verification of Ada software
8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.
1991-01-01
Conference paper
Electronic Resource
English
Formal specification and verification of Ada software
NTRS | 1991
|Formal Specification of Software Critical Systems with Agents
British Library Conference Proceedings | 1995
|