Home
Scholarly Works
Formal Methods and Software Engineering ......
Book
Formal Methods and Software Engineering ... International Conference on Formal Engineering Methods, ICFEM ... : Proceedings
Associated Experts
Thomas Maibaum
Professor Emeritus, Faculty of Engineering
Visit profile
Contact the Experts team
Get technical help
or
Provide website feedback