Formal to Practical Security
Formal to Practical Security 2009
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (Eds.): Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Springer 2009 Lecture Notes in Computer Science 5458 ISBN 978-3-642-02001-8 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team