prof.dr.ing. P. Herber (Paula) | Universiteit Twente

Mathematics

# Formal Methods
# Paradigm
# Specification

Engineering & Materials Science

# Formal Methods
# Specifications

Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)

p.herber@utwente.nl

paula.herber@uni-muenster.de

www.uni-muenster.de/EmbSys/team/herber/index.shtml

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede

Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)

Universiteit Twente Drienerlolaan 5
7522 NB Enschede

+31 (0)53 489 9111
info@utwente.nl
Route