Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.