Verified Software. Theories, Tools, and Experiments

MLA

Chakraborty, and Jorge A Navas. Verified Software. Theories, Tools, and Experiments. Springer International Publishing, 2020.

APA

Chakraborty, C., & Navas, J. A. (2020). Verified Software. Theories, Tools, and Experiments. Springer International Publishing.

Chicago

Chakraborty, and Jorge A Navas. Verified Software. Theories, Tools, and Experiments. : Springer International Publishing, 2020.