Vladimir Klebanov (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384

5 Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150

1 Bernhard Beckert, Vladimir Klebanov: Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86

Selection of 3 from 7 records - Vladimir Klebanov has 8 coauthors

6		Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384
5		Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150
1		Bernhard Beckert, Vladimir Klebanov: Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86