Gupta, A., & Malik, S. (2020). Computer Aided Verification. Springer Berlin Heidelberg.
Style de citation ChicagoGupta, Aarti, et Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
Style de citation MLAGupta, Aarti, et Sharad Malik. Computer Aided Verification. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.