On-the-Fly Techniques for Game-Based Software Model Checking (extended report),  Technical Report CSR-07-8

Adam Bakewell, Dan Ghica

Research output: Book/Report › Commissioned report

School of Computer Science

Cite this

@book{5ee9d57035f1402c8ef5c01a3d29f0ac,

title = "On-the-Fly Techniques for Game-Based Software Model Checking (extended report), Technical Report CSR-07-8",

author = "Adam Bakewell and Dan Ghica",

note = "School of Computer Science",

year = "2007",

month = oct,

day = "1",

language = "English",

publisher = "University of Birmingham",

address = "United Kingdom",

}

TY - BOOK

T1 - On-the-Fly Techniques for Game-Based Software Model Checking (extended report), Technical Report CSR-07-8

AU - Bakewell, Adam

AU - Ghica, Dan

N1 - School of Computer Science

PY - 2007/10/1

Y1 - 2007/10/1

M3 - Commissioned report

BT - On-the-Fly Techniques for Game-Based Software Model Checking (extended report), Technical Report CSR-07-8

PB - University of Birmingham

ER -