Adam Bakewell
3 published titles
On-the-fly techniques for game-based software model checking (extended report)
1 edition
- University of Birmingham
- 2007
- Details
Compositional predicate abstraction from game semantics
1 edition
- University of Birmingham, School of Computer Science
- 2008
- Details
Lopping : syntactic approximation for games-based software model checking
1 edition
- University of Birmingham, School of Computer Science
- 2008
- Details
