Foundations of Security Analysis and Design V
MLA
Aldini, Alessandro, et al. Foundations of Security Analysis and Design V. Springer Berlin Heidelberg, 2009.
APA
Aldini, A., Barthe, G., Gorrieri, R., & Kanade, T. (2009). Foundations of Security Analysis and Design V. Springer Berlin Heidelberg.
Chicago
Aldini, Alessandro, Gilles Barthe, Roberto Gorrieri, and Takeo Kanade. Foundations of Security Analysis and Design V. : Springer Berlin Heidelberg, 2009.