Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Roberto Bruttomesso



TITLE: SMT and its application to bit-vector verification

SPEAKER: Roberto Bruttomesso, ETH Zurich

DATE: Friday, June 15, 2007

PLACE: USI Lugano, Room SI - 008, Informatics Building (Via G. Buffi 13)

TIME: 09.30-10.30

ABSTRACT and more info: http://www.inf.unisi.ch/read_on.php?id=57

HOST: Prof. Natasha Sharygina

URL 1: http://www.inf.unisi.ch/read_on.php?id=57