Engineering Secure Software and Systems: 5th International Symposium (ESSoS 2013), Paris, France (February 27 - March 1, 2013): Proceedings

Jan Jürjens , Ben Livshits , Riccardo Scandariato