APA ציטוט

Grumberg, O., & Veith, H. (2020). 25 Years of Model Checking. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Grumberg, Orna, và Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.

ציטוט MLA

Grumberg, Orna, và Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.