Analysis Techniques for Information Security
Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps
- Anthology ID:
- DBLP:series/synthesis/2010Datta
- Volume:
- 2010
- Year:
- 2010
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00260ED1V01Y201003SPT002
- DOI:
- 10.2200/S00260ED1V01Y201003SPT002
- DBLP:
- series/synthesis/2010Datta
