Verified Software. Theories, Tools, and Experiments

MLA

Blazy, and Marsha Chechik. Verified Software. Theories, Tools, and Experiments. Springer International Publishing, 2016.

APA

Blazy, B., & Chechik, M. (2016). Verified Software. Theories, Tools, and Experiments. Springer International Publishing.

Chicago

Blazy, and Marsha Chechik. Verified Software. Theories, Tools, and Experiments. : Springer International Publishing, 2016.