Verified Software: Theories, Tools and Experiments

MLA

Giannakopoulou, and Daniel Kroening. Verified Software: Theories, Tools and Experiments. Springer International Publishing, 2014.

APA

Giannakopoulou, G., & Kroening, D. (2014). Verified Software: Theories, Tools and Experiments. Springer International Publishing.

Chicago

Giannakopoulou, and Daniel Kroening. Verified Software: Theories, Tools and Experiments. : Springer International Publishing, 2014.