Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..