(1997). Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform].
Chicago Style (17th ed.) CitationFormal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
MLA (9th ed.) CitationFormal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
Warning: These citations may not always be 100% accurate.