Style de citation APA

(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.

Style de citation Chicago

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

Style de citation MLA

Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.

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