✦ LIBER ✦

Formal specification

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification techniques

📂 Article 📅 1987 🏛 Elsevier Science ⚖ 69 KB

Using a formal specification contractual

✍ C. O'Halloran; R. Arthan; D. King 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 690 KB

Formal specification of hierarchical rep

✍ M. R. Taranovskii 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 633 KB

Software monitoring through formal speci

✍ Hui Liang; Jin Song Dong; Jing Sun; W. Eric Wong 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB

A formal specification of geometric refi

✍ David Cazier; Jean-François Dufourd 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 543 KB

Formal specification and object-oriented

✍ Mary Buchanan; Carol Britton 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 153 KB