BEGIN:VCARD
VERSION:3.0
FN;CHARSET=ISO-8859-1:Prof. Dr. rer. nat. Jürgen Giesl
N;CHARSET=ISO-8859-1:Giesl;Jürgen;;Dr. rer. nat.;
ORG;CHARSET=ISO-8859-1:RWTH - Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
ADR;CHARSET=ISO-8859-1:TYPE=work:;;Ahornstraße 55;Aachen;;52074;
URL;TYPE=work:http://verify.rwth-aachen.de/giesl/
EMAIL;TYPE=work:giesl@informatik.rwth-aachen.de
TEL;TYPE=voice,work:+49 241 80-21230
TEL;TYPE=fax,work:
END:VCARD