Lopping: Syntactic Approximation for Games-Based  Software Model Checking, Research Report CSR-08-09

Adam Bakewell, Dan Ghica

Research output: Book/Report › Commissioned report

School of Computer Science, University of Birmingham, UK

Cite this

@book{f71433ad660244afafb56218834b95b5,

title = "Lopping: Syntactic Approximation for Games-Based Software Model Checking, Research Report CSR-08-09",

author = "Adam Bakewell and Dan Ghica",

note = "School of Computer Science, University of Birmingham, UK",

year = "2008",

month = jan,

day = "1",

language = "English",

publisher = "Not Known",

}

TY - BOOK

T1 - Lopping: Syntactic Approximation for Games-Based Software Model Checking, Research Report CSR-08-09

AU - Bakewell, Adam

AU - Ghica, Dan

N1 - School of Computer Science, University of Birmingham, UK

PY - 2008/1/1

Y1 - 2008/1/1

M3 - Commissioned report

BT - Lopping: Syntactic Approximation for Games-Based Software Model Checking, Research Report CSR-08-09

PB - Not Known

ER -