A Counterexample-Guided Refinement Tool for Open Procedural Programs

First Author: Dimovski A
Attributed to:  The role of language covers in games-based abstraction and refinement funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/11691617_17

Publication URI: http://dx.doi.org/10.1007/11691617_17

Type: Book Chapter

Book Title: Model Checking Software (2006)

Page Reference: 288-292

ISBN: 978-3-540-33102-5