APA (7th ed.) Citation

(1997). Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform].

Chicago Style (17th ed.) Citation

Formal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.

MLA (9th ed.) Citation

Formal 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.