(1997). Formal methods for verification and validation of partial specifications a case study / by Steve Easterbrook and John Callahan. [microform].
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Formal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Formal Methods for Verification and Validation of Partial Specifications a Case Study / by Steve Easterbrook and John Callahan. [microform]. 1997.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.