Code security analysis with assertions
David F. Redmiles;Tom Ellman;Andrea Zisman (Hrsg). Proceeding of the 20th IEEE/ACM International Conference on Automated Software Engineering ASE 2005: Long Beach, California, USA; November 7-11, 2005. New York, NY: ACM Association for Computing Machinery 2005 S. 392 - 395
Erscheinungsjahr: 2005
ISBN/ISSN: 978-1-58113-993-8
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1145/1101908.1101978
| Geprüft | Bibliothek |
