io-port 05977512 Böhme, Sascha; Fox, Anthony C.J.; Sewell, Thomas; Weber, Tjark

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 183-198 (2011).

io-port 05940705 Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine

Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 67-82 (2011).

io-port 05934350 Böhme, Sascha; Moskal, Michał

Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 177-191 (2011).

io-port 05934346 Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.

Bjørner, Nikolaj (ed.) et al., Automated deduction ‒ CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 ‒ August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 116-130 (2011).

io-port 70117781 Blanchette, Jasmin Christian; Böhme, Sascha; Paulson, Lawrence C.

CADE, 116-130 (2011).

io-port 70117928 Böhme, Sascha; Moskal, Michal

CADE, 177-191 (2011).

io-port 70132434 Böhme, Sascha; Fox, Anthony C. J.; Sewell, Thomas; Weber, Tjark

CPP, 183-198 (2011).

io-port 70760194 Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine

CAV, 67-82 (2011).

io-port 05785440 Böhme, Sascha; Nipkow, Tobias

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 107-121 (2010).

io-port 05785342 Böhme, Sascha; Weber, Tjark

Kaufmann, Matt (ed.) et al., Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14051-8/pbk). Lecture Notes in Computer Science 6172, 179-194 (2010).

io-port 05662164 Böhme, Sascha; Moskal, Michał; Schulte, Wolfram; Wolff, Burkhart

J. Autom. Reasoning 44, No. 1-2, 111-144 (2010).

io-port 70118547 Böhme, Sascha; Nipkow, Tobias

IJCAR, 107-121 (2010).

io-port 70576185 Böhme, Sascha; Weber, Tjark

ITP, 179-194 (2010).

io-port 05378179 Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart

Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18‒21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 150-166 (2008).

io-port 70647561 Böhme, Sascha; Leino, K. Rustan M.; Wolff, Burkhart

TPHOLs, 150-166 (2008).