Hassan, Zyad.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Incremental, Inductive Model Checking.
by:
Hassan, Zyad.; University of Colorado at Boulder., Electrical Engineering.
(Electronic resources)