Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.