APA (7th ed.) Zitazioa

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

Chicago Style (17th ed.) Zitazioa

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

MLA (9th ed.) Zitazioa

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.