High-Level Verification - bib.howest.be

High-Level Verification

Format:: e-book
Title:: High-Level Verification
Author:: Lerner, Sorin; Gupta, Rajesh Kumar; Kundu, Sudipta; Gupta, Rajesh K.
Language:: English
Publisher:: Springer New York 2011
ISBN:: 1-4419-9358-4
1-4939-0101-X
1-4419-9359-2
Permalink:: http://bibtest.howest.be/catalog/ebk03:2670000000083300?locale=en