APA (7th ed.) Citation

DasGupta, P. (2006). A Roadmap for Formal Property Verification. Springer.

Chicago Style (17th ed.) Citation

DasGupta, Pallab. A Roadmap for Formal Property Verification. Dordrecht: Springer, 2006.

MLA (8th ed.) Citation

DasGupta, Pallab. A Roadmap for Formal Property Verification. Springer, 2006.

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