Verified Software. Theories, Tools, and Experiments

MLA

Piskac, Philipp Rümmer, and Philipp Rümmer. Verified Software. Theories, Tools, and Experiments. Springer International Publishing, 2018.

APA

Piskac, P., Philipp Rümmer, P. Rümmer, & Rümmer, P. (2018). Verified Software. Theories, Tools, and Experiments. Springer International Publishing.

Chicago

Piskac, Philipp Rümmer, and Philipp Rümmer. Verified Software. Theories, Tools, and Experiments. : Springer International Publishing, 2018.