Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan (Technical report series ; NASA/IVV-97-010)
Formal methods for verification and validation of partial specifications [microform] : a case study / by Steve Easterbrook and John Callahan
原資料の出版事項: [Fairmont, W. Va.] ; [Washington, DC] ; [Springfield, Va. : West Virginia University : National Aeronautics and Space Administration : National Technical Information Service, distributor, 1997]