Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration Book Discussion
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)
by
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)