✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6603 || Automatic Flow Analysis for Event-B

✍ Scribed by Giannakopoulou, Dimitra; Orejas, Fernando

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 ⚖ 289 KB

[Lecture Notes in Computer Science] Fund

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 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

✍ Dwyer, Matthew B.; Lopes, Antónia 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 1009 KB

[Lecture Notes in Computer Science] Fund

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

[Lecture Notes in Computer Science] Fund

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