✦ LIBER ✦

[Lecture Notes in Computer Science] Refinement Techniques in Software Engineering Volume 3167 || Refinement: An overview

✍ Scribed by Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Fund

✍ Wermelinger, Michel; Margaria-Steffen, Tiziana 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Gene

✍ Lämmel, Ralf; Saraiva, João; Visser, Joost 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 310 KB

[Lecture Notes in Computer Science] Gene

✍ Lämmel, Ralf; Saraiva, João; Visser, Joost 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 310 KB

[Lecture Notes in Computer Science] Grap

✍ Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 468 KB

[Lecture Notes in Computer Science] Auto

✍ Chakraborty, Supratik; Mukund, Madhavan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 319 KB