Wallace, D. R., & Ippolito, L. M. (1994). A framework for the development and assurance of high integrity software. Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O..
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Wallace, Dolores R., và Laura M. Ippolito. A Framework for the Development and Assurance of High Integrity Software. Gaithersburg, MD : Washington, D.C.: Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O., 1994.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Wallace, Dolores R., và Laura M. Ippolito. A Framework for the Development and Assurance of High Integrity Software. Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O., 1994.