Compositional Predicate Abstraction from Game Semantics

Adam Bakewell, Dan Ghica, S Kowalewski, A Philippou

Computer Science

Research output: Contribution to conference (unpublished) › Paper

6 Citations (Scopus)

Original language	English
Pages	62-76
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-00768-2_8
Publication status	Published - 27 Mar 2009

Access to Document

10.1007/978-3-642-00768-2_8

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

Cite this