Foundations of Specification
Long track record in
foundations: EPSRC
funded “Constructive Z”
and “Program
Development in CST”
projects.
New “Unified theory”
approach – new projects
with RefineNet and FMnet
partners.