| Title: | A Symbiotic Relationship Between Formal Methods and Security |
|---|---|
| Links: | Homepage Document as Postscript |
| Authors: | Jeannette M. Wing EMail |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{JW98,
AUTHOR = { Wing, Jeannette M. },
TITLE = { A Symbiotic Relationship Between Formal Methods and Security },
BOOKTITLE = { Proceedings from Workshops on Computer Security, Fault Tolerance, and Software Assurance: From Needs to Solution, CMU-CS-98-188 },
YEAR = { 1998 },
MONTH = { December },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.