Page 1 of 1.
Thomas Bauereiß; Armando Pesenti Gritti; Andrei Popescu; Franco Raimondi
In: Journal of Automated Reasoning (JAR), Vol. 61, No. 1-4, Pages 113-139, Springer, Heidelberg, 12/2017.
Victor Ferman; Dieter Hutter; Raul Monroy
In: Grigori Sidorov; Ulises Cortés (Hrsg.). Computación y Sistemas, Vol. 21, No. 1, Pages 101-114, Instituto Politécnico Nacional, Mexico, Mexico City, 4/2017.
In: 2017 IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP-17), May 22-24, San Jose, CA, USA, IEEE, 2017.
In: Jasmin Christian Blanchette; Stephan Merz (Hrsg.). Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2016), 7th, August 22-27, Nancy, France, Pages 87-106, LNCS, Vol. 9807, Springer, 8/2016.
Helmar Hutschenreuter; Dieter Hutter
In: GI Informatik 2016. GI-Informatiktage (Informatik-2016), Workshop zur Nutzerzentrierten Sicherheit, September 26-30, Klagenfurt, Austria, LNI, GI, 2016.