✦ LIBER ✦

Formal methods application: an empirical tale of software development

✍ Scribed by Sobel, A.E.K.; Clarkson, M.R.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "Formal methods application:

✍ Berry, D.M.; Tichy, W.F. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 215 KB

Response to "Comments on 'Formal methods

✍ Sobel, A.E.K.; Clarkson, M.R. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 210 KB

An empirical examination of software dev

✍ Girish H. Subramanian 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 708 KB

On the development of a formal methods-b

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

The role of formal methods in developing

✍ Martyn Thomas 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 228 KB

Software Engineering with Formal Methods

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