Mechanical reasoning about families of UTP theories

Frank Zeyda, Ana Lucia Caneca Cavalcanti

Computer Science

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

3 results

Finished

Wolfson Research Merit Award - Ana Cavalcanti
Cavalcanti, A. L. C.
THE ROYAL SOCIETY
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.
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research
ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C.
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research