Principled software microengineering

Adrian Johnstone, Elizabeth Scott

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

142 Downloads (Pure)

1 results

Filter

Finished

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