Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Volume 4677 of Lecture Notes in Computer Science, Springer, 2007.
Conference: fosad2007
No references recorded for this publication.
No citations of this publication recorded.