APA Style
Dasgupta, Pallab. (2006).
A roadmap for formal property verification .
Netherlands:
.
Chicago Style
Dasgupta, Pallab.
A roadmap for formal property verification.
Netherlands:
,
2006.
E-Book.
MLA Style
Dasgupta, Pallab.
A roadmap for formal property verification.
Netherlands:
,
2006.
E-Book.
Turabian Style
Dasgupta, Pallab.
A roadmap for formal property verification.
Netherlands:
,
2006.
E-Book.