APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.