Vladimir Klebanov

发表

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, 2013 .
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2012, COMPARE.
Bernhard Beckert, Vladimir Klebanov, Steffen Schlager, 2007, The KeY Approach.
Bernhard Beckert, Vladimir Klebanov, Thorsten Bormer, 2010, FMCO.
Bernhard Beckert, Vladimir Klebanov, Bernhard Beckert, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich, 2015, FTfJP@ECOOP.
Bernhard Beckert, Vladimir Klebanov, Christoph Scheben, 2013, LOPSTR.
Bernhard Beckert, Vladimir Klebanov, Peter H. Schmitt, 2007, CADE.
Vladimir Klebanov, Felix Dörre, V. Klebanov, 2015, VSTTE.
Vladimir Klebanov, Christian J. Muise, Norbert Manthey, 2013, QEST.
Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß, 2016, Deductive Software Verification.
Vladimir Klebanov, 2004, IJCAR Doctoral Programme.
Tom Ridge, Natarajan Shankar, Frank Piessens, 2011, FM.
Vladimir Klebanov, V. Klebanov, 2003 .
Bernhard Beckert, Vladimir Klebanov, 2012, Formal Aspects of Computing.
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth, 2016, QAPL.
Vladimir Klebanov, Peter H. Schmitt, Philipp Rümmer, 2005, CPA.
Vladimir Klebanov, Philipp Rümmer, Christoph Gladisch, 2008, TAP.
Tom Ridge, Frank Piessens, Bart Jacobs, 2011 .
Vladimir Klebanov, Felix Dörre, V. Klebanov, 2016, CCS.
Vladimir Klebanov, Mattias Ulbrich, Moritz Kiefer, 2016, VSTTE.
Vladimir Klebanov, Mattias Ulbrich, Philipp Rümmer, 2018, Formal Methods Syst. Des..
Bernhard Beckert, Vladimir Klebanov, Armin Biere, 2012 .
Vladimir Klebanov, Mattias Ulbrich, Philipp Rümmer, 2014, Software Engineering & Management.
Vladimir Klebanov, Ina Schaefer, Daniel Grahl, 2010, FoVeOOS.
Vladimir Klebanov, 2007, The KeY Approach.
Gidon Ernst, Radu Grigore, Vladimir Klebanov, 2011, FoVeOOS.
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2016, International Journal on Software Tools for Technology Transfer.
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich, 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2013 .
Vladimir Klebanov, Dirk Beyer, Rosemary Monahan, 2014, Dagstuhl Reports.
Bernhard Beckert, Vladimir Klebanov, Christoph Scheben, 2014, VSTTE.
Bernhard Beckert, Vladimir Klebanov, Carsten Schürmann, 2016, E-VOTE-ID.
Vladimir Klebanov, Mattias Ulbrich, Moritz Kiefer, 2017, Journal of Automated Reasoning.
Bernhard Beckert, Vladimir Klebanov, Bernhard Beckert, 2007, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Vladimir Klebanov, V. Klebanov, 2014, Theor. Comput. Sci..
Vladimir Klebanov, Rosemary Monahan, Marieke Huisman, 2015, International Journal on Software Tools for Technology Transfer.
Vladimir Klebanov, Dirk Beyer, Rosemary Monahan, 2014 .
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, 2013 .
Bernhard Beckert, Vladimir Klebanov, Thorsten Bormer, 2009 .
Bernhard Beckert, Vladimir Klebanov, Armin Biere, 2012 .