Data-Abstraction Refinement: a Game Semantic Approach

A Bakewell, A Dimovski, Dan Ghica, R Lazić

Computer Science

Research output: Contribution to journal › Article

1 results

Filter

Finished
Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D.
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils