Slides

• HSCC 2003 talk
• Mefisto Cached Murphi talk
• Mefisto Overview talk
• Conferenza Facoltà 2003
• FMCAD 2002 talk
• FMCAD 2004 talk
• Workshop on Research and Innovation (NEXT SPA)
• Incontro Valutatori TRAMP
• Talk FDL'06 (Darmstadt)
• Talk FMCAD 2008 (Portland)