2009 Formal Methods in Computer-Aided Design
Latest Publications
Alessandro Cimatti
◽
Jori Dubrovin
◽
Tommi Junttila
◽
Marco Roveri
Zurab Khasidashvili
◽
Daher Kaiss
◽
Doron Bustan
Eli Arbel
◽
Oleg Rokhlenko
◽
Karen Yorav
B. Cook
◽
A. Gupta
◽
S. Magill
◽
A. Rybalchenko
◽
J. Simsa
◽
...
Michael L. Case
◽
Hari Mony
◽
Jason Baumgartner
◽
Robert Kanzelman
Jason Baumgartner
◽
Hari Mony
◽
Michael Case
◽
Jun Sawada
◽
Karen Yorav
Roderick Bloem
◽
Karin Greimel
◽
Thomas A. Henzinger
◽
Barbara Jobstmann