Syntactic Control of Currency

Dan Ghica, AS Murawski, C-HL Ong

Computer Science

Research output: Contribution to journal › Article

18 Citations (Scopus)

1 results

Filter

Finished
Modular Abstraction and Abstraction Refinement: A Game Semantic Approach
Ghica, D.
Engineering & Physical Science Research Council
1/03/06 → 30/11/08
Project: Research Councils