@inproceedings{ShYi2000c,
   author = {Nikolay Shilov and Kwangkeun Yi},
   title = {Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers},
   booktitle = {Formal Methods Elsewhere},
   address = {Pisa, Italy},
   month = {October},
   year = {2000},
   format = {ps.gz},
   category = {conference program-logics},
}