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.