APA引文

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

Chicago Style Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.