Expertise
Mathematics
# Formal Methods
# Paradigm
# Specification
Engineering & Materials Science
# Formal Methods
# Specifications
Organisations
Contact Details
Visiting Address
University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands
Mailing Address
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands