Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.
シカゴスタイル引用形Gupta, Aarti, , Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
MLA引用形式Gupta, Aarti, , Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.