Verified Software: Theories, Tools, Experiments

MLA

Ernie Cohen, Andrey Rybalchenko, and Andrey Rybalchenko. Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2014.

APA

Ernie Cohen, A. Rybalchenko, & Rybalchenko, A. (2014). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Chicago

Ernie Cohen, Andrey Rybalchenko, and Andrey Rybalchenko. Verified Software: Theories, Tools, Experiments. : Springer Berlin Heidelberg, 2014.