Verified Software. Theories, Tools, and Experiments

MLA

Paskevich, and Thomas Wies. Verified Software. Theories, Tools, and Experiments. Springer International Publishing, 2017.

APA

Paskevich, P., & Wies, T. (2017). Verified Software. Theories, Tools, and Experiments. Springer International Publishing.

Chicago

Paskevich, and Thomas Wies. Verified Software. Theories, Tools, and Experiments. : Springer International Publishing, 2017.