Marco Eilers

Dr. Marco Eilers

Contact Data

Address

ETH Zürich
Marco Eilers
Programming Methodology Group
CAB  H 89
Universitätstrasse 6
8092 Zürich
Switzerland

Organisations
http://www.inf.ethz.ch/
Course Catalogue
263-2812-00L Program Verification
Publications inResearch Collection – Publication platform of ETH Zurich
ETH Library Search Portal (advanced search for name)