Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, Springer, 2009. [doi]
Conference: fosad2009
No references recorded for this publication.
No citations of this publication recorded.