Title: | Hints to Specifiers |
---|---|
Links: | Homepage Document as Postscript |
Authors: | Jeannette M. Wing EMail |
Remarks: | |
Topics: |
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.