HWMCC'10
Organization
Chairs
Armin Biere (Johannes Kepler University, Linz, Austria)Koen Lindström Claessen (Chalmers University, Gothenburg, Sweden)
HWMCC'10 |
OrganizationChairsArmin Biere (Johannes Kepler University, Linz, Austria)Koen Lindström Claessen (Chalmers University, Gothenburg, Sweden) |