@inproceedings{artho-education2008,
  author={C. Artho and K. Taguchi and Y. Tahara and S. Honiden and Y. Tanabe},
  title={Teaching Software Model Checking},
  booktitle={Proc.\ Workshop on Formal Methods in Computer Science Education (FORMED~2008)},
  year={2008},
  pages={171--179},
  publisher={Elsevier},
  series={ENTCS},
  address={Budapest, Hungary},
}