[an error occurred while processing this directive] [an error occurred while processing this directive] BibTeX for 2004 [an error occurred while processing this directive]

BibTeX for 2004

@mastersthesis{GrovG2004,
  school = {Heriot-Watt University},
  title = {{M}odel {C}hecking {HW}-{H}ume},
  author = {G. Grov},
  year = {2004},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2004}
}


This page was last modified on Friday 8 May 2009 17:04:38. This site is maintained by Robert Rothenberg (rr@cs.st-andrews.ac.uk).