Cortier, V., Kirchner, C., Okada, M., & Sakurada, H. (2009). Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (1st ed. 2009.). Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationCortier, Véronique, Claude Kirchner, Mitsuhiro Okada, and Hideki Sakurada. Formal to Practical Security: Papers Issued From the 2005-2008 French-Japanese Collaboration. 1st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
MLA CitationCortier, Véronique, Claude Kirchner, Mitsuhiro Okada, and Hideki Sakurada. Formal to Practical Security: Papers Issued From the 2005-2008 French-Japanese Collaboration. 1st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Warning: These citations may not always be 100% accurate.