Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Paperback)

Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Paperback)

Principles of Program Analysis (Paperback, 1999)

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Paperback)

Principles of Program Analysis (Hardcover, Corrected 1999.)

Coordination Languages and Models: First International Conference, Coordination '96, Cesena, Italy, April 15-17, 1996. Proceedings. (Paperback, 1996)

Graphical Models for Security: 6th International Workshop, Gramsec 2019, Hoboken, Nj, Usa, June 24, 2019, Revised Papers (Paperback, 2019)

Insider Threats in Cyber Security (Paperback, 2010)