Style de citation APA

(2020). Computer Aided Verification. Springer Berlin Heidelberg.

Style de citation Chicago

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Style de citation MLA

Computer Aided Verification. Springer Berlin Heidelberg, 2020.

Attention : ces citations peuvent ne pas être correctes à 100%.