Lerner, Sorin.
Overview
| Works: | 3 works in 0 publications in 0 languages | |
|---|---|---|
Titles
High-level verification = methods and tools for verification of system-level designs /
by:
Gupta, Rajesh K.; Lerner, Sorin.; Kundu, Sudipta.; SpringerLink (Online service)
(Language materials, printed)