Cita APA

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

Citación estilo Chicago

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

Cita MLA

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