Formal to Practical Security

MLA

Cortier, Véronique, et al. Formal to Practical Security. Springer Berlin Heidelberg, 2009.

APA

Cortier, V., Kanade, T., Kirchner, C., Okada, M., & Sakurada, H. (2009). Formal to Practical Security. Springer Berlin Heidelberg.

Chicago

Cortier, Véronique, Takeo Kanade, Claude Kirchner, Mitsuhiro Okada, and Hideki Sakurada. Formal to Practical Security. : Springer Berlin Heidelberg, 2009.