@INPROCEEDINGS{GibsonMery98I,
  author = { Gibson, {J. Paul} and M{\'e}ry, Dominique },
  title = {Teaching Formal Methods: Lessons to Learn},
  booktitle = {2nd Irish Workshop on Formal Methods ({IWFM} 1998)},
  year = {1998},
  editor = {Sharon Flynn and Andrew Butterfield},
  series = {Electronic Workshops in Computing},
  address = {Cork, Ireland},
  month = jul,
  publisher = {BCS},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}