Compositional Predicate Abstraction from Game Semantics, Research Report CSR-08-10

Adam Bakewell, Dan Ghica

Research output: Book/Report › Commissioned report

Original languageEnglish
PublisherNot Known
Publication statusPublished - 1 Nov 2008

Bibliographical note

School of Computer Science, University of Birmingham, UK

Cite this