PLANCOMPS

PLanCompS (Programming Languages Components and Specifications) is a 4-year joint research project based at Swansea, Royal Holloway and City, funded by EPSRC, starting in September 2011.

For more information about PLanCompS see the project web pagehttp://www.plancomps.org/