@INPROCEEDINGS{GibsonLalletRaffy08I,
  author = {Gibson, {J. Paul} and Lallet, Eric and Raffy, Jean-Luc},
  title = {How Do {I} Know If My Design Is Correct?},
  booktitle = {Formal Methods in Computer Science Education ({FORMED 2008})},
  year = {2008},
  editor = {Zoltan Istenes},
  pages = {61-70},
  address = {Budapest, Hungary},
  month = mar,
  note = {Accepted for publication in ENTCS}
}