Dan Ghica
4 published titles
On-the-fly techniques for game-based software model checking (extended report)
(Contributor)
1 edition
- University of Birmingham
- 2007
- Details
Compositional predicate abstraction from game semantics
(Contributor)
1 edition
- University of Birmingham, School of Computer Science
- 2008
- Details
Lopping : syntactic approximation for games-based software model checking
(Contributor)
1 edition
- University of Birmingham, School of Computer Science
- 2008
- Details
Function interface models for hardware compilation : types, signatures, protocols
1 edition
- University of Birmingham, School of Computer Science
- 2008
- Details
