![](/img/cover-not-exists.png)
[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Invariants for finite instances and beyond
Conchon, Sylvain, Goel, Amit, Krstic, Sava, Mebsout, Alain, Zaidi, FatihaYear:
2013
Language:
english
DOI:
10.1109/fmcad.2013.6679392
File:
PDF, 311 KB
english, 2013