A Formal Model for Software Specification and Its Automation

 
TitleA Formal Model for Software Specification and Its Automation
Publication TypeConference Paper
Year of Publication1993
AuthorsMili, Rym, and Mili A.
Conference NameProceedings of ARO/AFOSR/ONR Workshop
Date Published11/1993
Conference LocationMonterey, CA