APA Citation

Ray, S. (2010). Scalable Techniques for Formal Verification (1st ed. 2010.). New York, NY: Springer US : Imprint: Springer.

Chicago Style Citation

Ray, Sandip. Scalable Techniques for Formal Verification. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.

MLA Citation

Ray, Sandip. Scalable Techniques for Formal Verification. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.

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