Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers Albanese Massimiliano Heftet / 2019 / Engelsk
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays Probst Christian W. Heftet / 2015 / Engelsk
