Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration Cortier, Véronique Heftet / 2009 / Engelsk
