journal of automated reasoning (6)
journal of computer security (6)
kidney international (5)
theoretical computer science (4)
static analysis (3)
journal of functional programming (2)
12th international conference on interactive theorem proving (1)
2013 ieee 26th computer security foundations symposium (1)
2013 ieee 26th computer security foundations symposium, computer security foundations symposium (csf), 2013 ieee 26th (1)
2016 ieee 29th computer security foundations symposium (csf), computer security foundations symposium (csf), 2016 ieee 29th (1)
2019 ieee 32nd computer security foundations symposium (csf), computer security foundations symposium (csf), 2019 ieee 32nd, csf (1)
2023 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw), 2023 ieee european symposium on, eurospw (1)
computer aided verification. part ii (1)
computer security - esorics 2006 (1)
ecoop 2008 - object-oriented programming (1)
formal verification of object-oriented software (1)
interactive theorem proving (1)
interactive theorem proving: 6th international conference, itp 2015, nanjing, china, august 24-27, 2015, proceedings (1)
nephrology dialysis transplantation (1)
proceedings of the 11th international workshop: formal techniques for java-like programs (1)
programming languages & systems (9783540713142) (1)
programming languages & systems: 12th asian symposium, aplas 2014, singapore, singapore, november 17-19, 2014, proceedings (1)
secure it systems: 19th nordic conference, nordsec 2014, tromso, norway, october 15-17, 2014, proceedings (1)
static analysis: 21st international symposium, sas 2014, munich, germany, september 11-13, 2014. proceedings (1)
trustworthly global computing (1)
types for proofs & programs (9783540744634) (1)
types for proofs and programs (1)
verified software: theories, tools, experiments: 5th international conference, vstte 2013, menlo park, ca, usa, may 17-19, 2013, revised selected papers (1)