APA Citation

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

Chicago Style Citation

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

MLA Citation

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

Warning: These citations may not always be 100% accurate.