Experts has a new look! Let us know what you think of the updates.

Provide feedback

Scholarly Works

Formal Methods and Software Engineering ......

Formal Methods and Software Engineering ... International Conference on Formal Engineering Methods, ICFEM ... : Proceedings

Associated Experts

Thomas Maibaum

Professor Emeritus, Faculty of Engineering