✦ LIBER ✦

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Comparing verification techniques for model transformations

✍ Scribed by Lano, K.; Kolahdouz-Rahimi, S.; Clark, T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the Workshop - Innsbruck, Aus

✍ Eriksson, Anders; Lindström, Birgitta; Andler, Sten F.; Offutt, Jeff 📂 Article 📅 2012 🏛 ACM Press ⚖ 572 KB

[ACM Press the Workshop - Innsbruck, Aus

✍ Bousse, Erwan; Mentré, David; Combemale, Benoît; Baudry, Benoît; Katsuragi, Taka 📂 Article 📅 2012 🏛 ACM Press ⚖ 794 KB

[ACM Press the Workshop - Innsbruck, Aus

✍ Martínez, Salvador; Cabot, Jordi; Garcia-Alfaro, Joaquin; Cuppens, Frédéric; Cup 📂 Article 📅 2012 🏛 ACM Press ⚖ 375 KB

[ACM Press the 7th Workshop - Innsbruck,

✍ Bencomo, Nelly; Blair, Gordon; Götz, Sebastian; Morin, Brice; Rumpe, Bernhard 📂 Article 📅 2012 🏛 ACM Press ⚖ 157 KB

[ACM Press the 7th Workshop - Innsbruck,

✍ Vrbaski, Mira; Mussbacher, Gunter; Petriu, Dorina; Amyot, Daniel 📂 Article 📅 2012 🏛 ACM Press ⚖ 546 KB

[ACM Press the 6th International Worksho

✍ Shah, Seyyed M. A.; Anastasakis, Kyriakos; Bordbar, Behzad 📂 Article 📅 2009 🏛 ACM Press ⚖ 438 KB