IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Peter D. Mosses

Dept of Computer Science
Univ of Wales Swansea
United Kingdom
Research topics: algebraic specification languages, semantics of programming languages, tools (updated at 2005-01-21)
http://www.cs.swan.ac.uk/~cspdm