FMCAD 2009
Formal Methods in Computer Aided Design
Austin, Texas, USA
November 15 - 18


130

Al Sato, Leonardo de Moura, Alberto Griggio
Johan Alfredsson, Warren Hunt, Oswaldo Olivo