@INPROCEEDINGS{Gibson00,
  author = {Gibson, {J. Paul}},
  title = {Formal Requirements Engineering: Learning from the Students},
  booktitle = {{12th Australian Software Engineering Conference (ASWEC 2000)}},
  year = {2000},
  editor = {Doug Grant},
  pages = {171-180},
  address = {Canberra, Australia},
  publisher = {IEEE Computer Society},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1109/ASWEC.2000.844574},
  isbn = {0-7695-0631-3}
}