Cita APA

Ray, S. (2010). Scalable techniques for formal verification. Springer.

Citación estilo Chicago

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

Cita MLA

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

Precaución: Estas citas no son 100% exactas.