Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Κύριος συγγραφέας: | Beckert, Bernhard |
---|---|
Άλλοι συγγραφείς: | HΓ€hnle, Reiner, Schmitt, Peter H. |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2006
|
Σειρά: | Lecture Notes in Computer Science
4334 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-540-69061-0 |
Παρόμοια τεκμήρια
-
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino /
Έκδοση: (2007) -
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010) -
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010) -
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010) -
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
ανά: Vitek, Jan
Έκδοση: (2010)