Researcher identifiers

Number of documents

1

Claude Kirchner


"Véronique Cortier"   

Books1 document

  • Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada. Formal to practical Security. Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8. ⟨inria-00426617⟩