Bibtex:

@inbook{BW96,
  AUTHOR    = { Wing, Jeannette M. },
  TITLE     = { Hints to Specifiers },
  BOOKTITLE = { Teaching and Learning Formal Methods },
  YEAR      = { 1996 },
  PUBLISHER = { Academic Press },
  PAGES     = { 57--77 },
  EDITOR    = { Dean and Hinchey },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.