PAPERS

Title:Formal Methods: State of the Art and Future Directions
Links:Homepage
Document as Postscript
Authors:Edmund Clarke EMail
Jeannette M. Wing EMail
Remarks:
Topics:

Bibtex:

@article{CW96,
  AUTHOR    = { Clarke, Edmund
                and Wing, Jeannette M. },
  TITLE     = { Formal Methods: State of the Art and Future Directions },
  NOTE      = { Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research },
  YEAR      = { 1996 },
  PAGES     = { 626-643 },
  JOURNAL   = { ACM Computing Surveys },
  VOLUME    = { 28 },
  MONTH     = { December },
  NUMBER    = { 4 },
}

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