APA (7th ed.) Citation

Ganai, M. K., & Gupta, A. (2007). SAT-Based Scalable Formal Verification Solutions. Springer US.

Chicago Style (17th ed.) Citation

Ganai, Malay K., and Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Boston, MA: Springer US, 2007.

MLA (8th ed.) Citation

Ganai, Malay K., and Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Springer US, 2007.