✦ LIBER ✦

Software engineering and formal methods

✍ Scribed by Bernhard Aichernig; Bernhard Beckert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SoSyM Special Section on Software Engine

✍ Jorge Cuellar; Zhiming Liu 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 46 KB

Modeling NASA swarm-based systems: using

✍ Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 676 KB

Special section on software engineering

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

Integrating a formal method into a softw

✍ Michael Möller; Ernst-Rüdiger Olderog; Holger Rasch; Heike Wehrheim 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 826 KB

Software engineering formal methods II

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Formal methods integration in software e

✍ Isabelle Perseil; Laurent Pautet 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 371 KB