APA Zitierstil

(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago Zitierstil

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

MLA Zitierstil

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.