APA citiranje

(1997). Formal methods for verification and validation of partial specifications: A case study / by Steve Easterbrook and John Callahan.

Chicago Style (17th ed.) Citation

Formal Methods for Verification and Validation of Partial Specifications: A Case Study / by Steve Easterbrook and John Callahan. 1997.

MLA citiranje

Formal Methods for Verification and Validation of Partial Specifications: A Case Study / by Steve Easterbrook and John Callahan. 1997.