Research

The expertise of our group is suited in the area of Software Engineering using Formal Methods. Most members have a strong background in logic, theorem proving and program verification using formal methods. 

Software Engineering Group

Contact

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt
Deutschland

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang