Principled software microengineering

Adrian Johnstone, Elizabeth Scott

Research output: Contribution to journal › Article › peer-review

146 Downloads (Pure)

1 results

PLanCompS: PLanCompS: Programming Language Components and Specifications
Johnstone, A., Scott, E., Reddington, J. & Walsh, R.
Eng & Phys Sci Res Council EPSRC
1/06/11 → 31/05/15
Project: Research