Static Analysis and Computer Security: New Techniques for Software Assurance
David A. Wagner
EECS Department, University of California, Berkeley
2000
Advisors: Eric A. Brewer
BibTeX citation:
@phdthesis{Wagner:8097,
Author= {Wagner, David A.},
Title= {Static Analysis and Computer Security: New Techniques for Software Assurance},
School= {EECS Department, University of California, Berkeley},
Year= {2000},
}
EndNote citation:
%0 Thesis %A Wagner, David A. %T Static Analysis and Computer Security: New Techniques for Software Assurance %I EECS Department, University of California, Berkeley %D 2000 %F Wagner:8097