Cover image not available

On-the-fly techniques for game-based software model checking (extended report)

Adam Bakewell

Publication Data

Title On-the-fly techniques for game-based software model checking (extended report)
Author Adam Bakewell
Contributors Dan Ghica, Dan Ghica
Publisher University of Birmingham
Publication date 2007
Publication location Birmingham
Language English

Topics

Computer software :: Verification

Catalogue Data

OBNB ID GBA814481
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 [29] p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

On-the-fly techniques for game-based software model checking (extended report) by Adam Bakewell. Published by University of Birmingham in 2007. Publication and catalogue information, links to buy online and reader comments.