✦ LIBER ✦

The industrialization of formal methods

✍ Scribed by John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The industrial use of formal methods

✍ Martyn Thomas 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 668 KB

Introduction: Special Issue on the Fourt

✍ Stefania Gnesi; Diego Latella 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 29 KB

Special Issue on the First International

✍ Stefania Gnesi; Diego Latella 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 49 KB

VSE: formal methods meet industrial need

✍ Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 303 KB

The meaning of “formal”: from weak to st

✍ Pierre Wolper 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 165 KB

The industrialization of the mind

✍ Hans Magnus Enzensberger 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 810 KB