Projects per year
Original language | English |
---|---|
Pages (from-to) | 444-479 |
Number of pages | 36 |
Journal | Science of Computer Programming |
Volume | 77 |
Issue number | 4 |
DOIs | |
Publication status | Published - 1 Apr 2012 |
Projects
- 3 Finished
-
Wolfson Research Merit Award - Ana Cavalcanti
1/10/12 → 30/09/17
Project: Research project (funded) › Research
-
hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
22/06/10 → 30/10/15
Project: Research project (funded) › Research
-
ProCLaws: Programming from Control Laws
1/07/07 → 30/09/11
Project: Research project (funded) › Research