Original language | English |
---|---|
Publisher | Not Known |
Publication status | Published - 1 Nov 2008 |
Compositional Predicate Abstraction from Game Semantics, Research Report CSR-08-10
Adam Bakewell, Dan Ghica
Research output: Book/Report › Commissioned report
Adam Bakewell, Dan Ghica
Research output: Book/Report › Commissioned report
Original language | English |
---|---|
Publisher | Not Known |
Publication status | Published - 1 Nov 2008 |