A Counterexample-Guided Refinement Tool for Open Procedural Programs

A Dimovski, Dan Ghica, R Lazic, A Valmari

Research output: Contribution to conference (unpublished) › Paper

11 Citations (Scopus)

Original language	English
Pages	288-292
Number of pages	5
Publication status	Published - 1 Jan 2006
Event	Model Checking Software, Proceedings of 13th International SPIN Workshop 2006 - Duration: 1 Jan 2006 → …

Conference	Model Checking Software, Proceedings of 13th International SPIN Workshop 2006
Period	1/01/06 → …

Cite this

@conference{fc93e6dad237414e945f58b02628dbe3,

title = "A Counterexample-Guided Refinement Tool for Open Procedural Programs",

author = "A Dimovski and Dan Ghica and R Lazic and A Valmari",

year = "2006",

month = jan,

day = "1",

language = "English",

pages = "288--292",

note = "Model Checking Software, Proceedings of 13th International SPIN Workshop 2006 ; Conference date: 01-01-2006",

}