Specification Logics and Refinement
Essex the home of Z logic
PC Chair for ZB conference
in 2002 and 2005
Hosting Refinement
Workshop in 2004
Collaborators in ESPRC
Network RefineNet 04-07
Links in Europe and NZ