✦ LIBER ✦

Pinnacles of software engineering: 25 years of formal methods

✍ Scribed by Dines Bjørner

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

25 Years of Software

✍ Erdogmus, Hakan 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 1007 KB

Software Engineering with Formal Methods

✍ Jan Tretmans; Klaas Wijbrans; Michel Chaudron 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 646 KB

Introduction to formal methods of softwa

✍ Anthony C Davies 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 656 KB

[Lecture Notes in Computer Science] Form

✍ Liu, Shaoying; Maibaum, Tom; Araki, Keijiro 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 395 KB

Ten commandments of formal methods... te

✍ Bowen, J.P.; Hinchey, M.G. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 1010 KB

The role of formal methods in achieving

✍ Martyn Thomas 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 594 KB