Grumberg, O., & Veith, H. (2020). 25 Years of Model Checking. Springer Berlin Heidelberg.
Style de citation ChicagoGrumberg, Orna, et Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
Style de citation MLAGrumberg, Orna, et Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.