Grumberg, O., & Veith, H. (2020). 25 Years of Model Checking. Springer Berlin Heidelberg.
シカゴスタイル引用形Grumberg, Orna, , Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
MLA引用形式Grumberg, Orna, , Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
警告: この引用は必ずしも正確ではありません.