Isabelle/UTP: A Mechanised Theory Engineering Framework

Simon Foster, Frank Zeyda, Jim Woodcock

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

1 results

Finished

COMPASS: Comprehensive Modelling for Advanced Systems of Systems
Woodcock, J.
EUROPEAN COMMISSION
1/10/11 → 30/09/14
Project: Research project (funded) › Research