✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Automatic Cross Validation of Multiple Specifications: A Case Study

✍ Scribed by Rosenblum, David S.; Taentzer, Gabriele

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB

[Lecture Notes in Computer Science] Fund

✍ Giannakopoulou, Dimitra; Orejas, Fernando 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 338 KB

[Lecture Notes in Computer Science] Fund

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 382 KB

[Lecture Notes in Computer Science] Fund

✍ Fiadeiro, José Luiz; Inverardi, Paola 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 588 KB

[Lecture Notes in Computer Science] Fund

✍ Cortellessa, Vittorio; Varró, Dániel 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 552 KB

[Lecture Notes in Computer Science] Fund

✍ Hussmann, Heinrich 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 198 KB