Perry, D. L. (2005). Applied formal verification. New York: McGraw-Hill.
シカゴスタイル引用形Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
MLA引用形式Perry, Douglas L. Applied Formal Verification. New York: McGraw-Hill, 2005.
警告: この引用は必ずしも正確ではありません.