APA Style
Ray, Sandip. (2010).
Scalable techniques for formal verification .
New York:
Springer.
Chicago Style
Ray, Sandip.
Scalable techniques for formal verification.
New York:
Springer,
2010.
E-Book.
MLA Style
Ray, Sandip.
Scalable techniques for formal verification.
New York:
Springer,
2010.
E-Book.
Turabian Style
Ray, Sandip.
Scalable techniques for formal verification.
New York:
Springer,
2010.
E-Book.