|
СБ |
Electronic Voting: Proc./5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Krimmer R.
- Volkamer M.
- Beckert B.
- Kusters R.
|
|
|
23.10.2020 |
|
СБ |
Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011 |
2013 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Domiani F.
- de Boer F. S.
- Bonsangue M. M.
|
|
|
19.02.2013 |
|
СБ |
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2011, Turin, Italy, October 2011 |
2012 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Domiani F.
- Gurov D.
|
|
|
29.08.2012 |
|
СБ |
Formal Verification of Object-Oriented Software: Revised Selected Papers/ International Conference, FoVeOOS 2010, Paris, France, June 2010 |
2011 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Marche C.
|
|
|
29.03.2011 |
|
СБ |
Tests and Proofs: Proc./Second International Conference, TAP 2008. Prato, Italy, April 2008 |
2008 |
|
Lecture Notes in Computer Science |
- Beckert B.
- Haehnle R.
|
|
|
07.06.2008 |
|
СБ |
Verification of Object-Oriented Software: The KeY Approach. Foreword by K.Rustan M.Leino |
2007 |
|
Lecture Notes in Artificial Intelligence |
- Beckert B.
- Hahnle R.
- Schmitt P. H.
|
|
|
23.02.2007 |
|
СБ |
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./International Conference, TABLEAUX 2005. Koblenz, Germany, September 2005 |
2005 |
|
Lecture Notes in Artificial Intelligence |
- Beckert B.
|
|
|
22.11.2005 |
