IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr. Emer.

Peter D. Mosses

Dept of Computer Science
Univ of Wales Swansea
United Kingdom
Research topics: semantics of programming languages, tools, algebraic specification languages
https://pdmosses.github.io