APA (7th ed.) Citation

Dasgupta, P. (2006). A roadmap for formal property verification. Springer. https://doi.org/10.1007/978-1-4020-4758-9

Chicago Style (17th ed.) Citation

Dasgupta, Pallab. A Roadmap for Formal Property Verification. Dordrecht: Springer, 2006. https://doi.org/10.1007/978-1-4020-4758-9.

MLA (9th ed.) Citation

Dasgupta, Pallab. A Roadmap for Formal Property Verification. Springer, 2006. https://doi.org/10.1007/978-1-4020-4758-9.