[ Back to Record ]

  1. Bib ID# 12589
    ISBN: 9781402047589
    UPC: 10.1007/978-1-4020-4758-9
    Title: A Roadmap for Formal Property Verification
    Author: DasGupta, Pallab.
    Publication Info:
    Item Type: Language material

[ Back to Record ]