✦ LIBER ✦

Special issues for fm '99: the first world congress on formal methods in the development of computing systems

✍ Scribed by Wing, J.M.; Woodcock, J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Introduction: Special Issues for FM'99,

✍ Jeannette Wing; Jim Woodcock 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 9 KB

The First World Congress on Formal Metho

✍ Jeanette Wing; Jim Woodcock 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 28 KB

The First World Congress of the Bachelie

📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 10 KB

Special Issue on the First International

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

Preface for the special issue on the int

✍ T.E. Simos 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 25 KB

Introduction: Special Issue on the Fourt

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