Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification

Project Details

Short titleAdvanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
StatusFinished
Effective start/end date1/07/0630/06/11

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.