HWMCC'07 |
OrganizationChairArmin Biere (Johannes Kepler University, Linz, Austria)Toni Jussila (Johannes Kepler University, Linz, Austria) CommitteeAlessandro Cimatti (IRST, Trento, Italy)Koen Lindström Claessen (Chalmers University, Gothenburg, Sweden) Ken McMillan (Cadende Berkeley Labs, Berkeley, USA) Fabio Somenzi (University of Colorado, Boulder, USA) |