Scalable Techniques for Formal Verification

MLA

Ray, Sandip. Scalable Techniques for Formal Verification. Springer US, 2010.

APA

Ray, S. (2010). Scalable Techniques for Formal Verification. Springer US.

Chicago

Ray, Sandip Scalable Techniques for Formal Verification. : Springer US, 2010.