Address:

ETH Zürich
Department of Computer Science
Software Reliability Lab
CAB H68
Universitätstrasse 6
8092 Zürich
Switzerland
E-mail: martin.vechev@inf.ethz.ch
Phone: +41 44 632 98 48