On-the-Fly Techniques for Game-Based Software Model Checking

Adam Bakewell, Dan Ghica

Research output: Contribution to journalArticle

10 Citations (Scopus)

Search results