Search the dblp DataBase

Publications of Author

1. Vladimir Klebanov
   Proof Reuse for Program Verification Calculi. [Citation Graph (0, 0)][DBLP]
   IJCAR Doctoral Programme, 2004, pp:- [Conf]
   
2. Vladimir Klebanov
   A JMM-Faithful Non-interference Calculus for Java. [Citation Graph (0, 0)][DBLP]
   FIDJI, 2004, pp:101-111 [Conf]
   
3. Bernhard Beckert, Vladimir Klebanov
   Proof Reuse for Deductive Program Verification. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:77-86 [Conf]
   
4. Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
   The KeY system 1.0 (Deduction Component). [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:379-384 [Conf]
   
5. 
   A Dynamic Logic for Deductive Verification of Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Integrating Verification and Testing of Object-Oriented Software. [Citation Graph (, )][DBLP]
   
   
7. 
   Verification of JCSP Programs. [Citation Graph (, )][DBLP]