Verified Software: Theories, Tools, and Experiments

MLA

Arie Gurfinkel, Sanjit A. Seshia, and Sanjit A Seshia. Verified Software: Theories, Tools, and Experiments. Springer International Publishing, 2016.

APA

Arie Gurfinkel, S. A. Seshia, & Seshia, S. A. (2016). Verified Software: Theories, Tools, and Experiments. Springer International Publishing.

Chicago

Arie Gurfinkel, Sanjit A. Seshia, and Sanjit A Seshia. Verified Software: Theories, Tools, and Experiments. : Springer International Publishing, 2016.