Puzzles for learning model checking, model checking for programming puzzles, puzzles for testing model checkers
- Issue Date
- 2000
- Language
- ENG
- Citation
Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication, v.43, pp.37 - 52
- ISSN
- 1571-0661
- Appears in Collection
- RIMS Conference Papers
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.