Generation of Object-Oriented Formal Software Specifications
National aerospace and electronics conference ; 1997 ; Dayton; OH
1997-01-01
8 pages
Also known as NAECON 1997. IEEE Cat no 97CH36015
Aufsatz (Konferenz)
Englisch
NAECON , aerospace , electronics , IEEE
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment
British Library Conference Proceedings | 1996
|