(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
シカゴスタイル引用形Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
MLA引用形式Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.