✦ LIBER ✦

SoSyM Special Section on Software Engineering and Formal Methods

✍ Scribed by Jorge Cuellar; Zhiming Liu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SoSyM special section on service-based s

✍ Manfred Broy; Heinrich Hussmann; Ingolf H. Krüger; Bernhard Schätz 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 129 KB

Special section on software engineering

✍ Antonio Cerone; Stefan Gruner 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 178 KB

Special Section on “Leveraging Formal Me

✍ Tiziana Margaria; Bernhard Steffen 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 56 KB

Software engineering and formal methods

✍ Bernhard Aichernig; Bernhard Beckert 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 66 KB

Special Issue On: Telecommunications Sof

✍ Isaac Woungang 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 158 KB

Introduction to the special section on f

✍ Michel Wermelinger; Tiziana Margaria; Maura Cerioli 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 76 KB