A Roadmap for Formal Property Verification

MLA

Dasgupta, Pallab. A Roadmap for Formal Property Verification. Springer Netherlands, 2006.

APA

Dasgupta, P. (2006). A Roadmap for Formal Property Verification. Springer Netherlands.

Chicago

Dasgupta, Pallab A Roadmap for Formal Property Verification. : Springer Netherlands, 2006.