✦ LIBER ✦

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Predefined Operators in Java Card DL

✍ Scribed by Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 460 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 611 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 711 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 285 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 439 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 624 KB