Title: | Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract) |
---|---|
Links: | Homepage Document as Postscript |
Authors: | Jeannette M. Wing EMail |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{PW02, AUTHOR = { Wing, Jeannette M. }, TITLE = { Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract) }, BOOKTITLE = { Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST) }, YEAR = { 2000 }, PAGES = { 2--7 }, MONTH = { May }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.