@inproceedings{artho-education2008,
  author={Cyrille Artho and Kenji Taguchi and Yasuyuki Tahara and Shinichi Honiden and Yoshinori 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},
}