![](/img/cover-not-exists.png)
[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Small inductive safe invariants
Ivrii, Alexander, Gurfinkel, Arie, Belov, AntonYear:
2014
Language:
english
DOI:
10.1109/fmcad.2014.6987603
File:
PDF, 873 KB
english, 2014