APA Citation

Shankar, N. (2017). Verified Software: Theories, Tools, Experiments. Springer.

Chicago Style Citation

Shankar, Natarajan. Verified Software: Theories, Tools, Experiments. Springer, 2017.

MLA Citation

Shankar, Natarajan. Verified Software: Theories, Tools, Experiments. Springer, 2017.

Warning: These citations may not always be 100% accurate.