✦ LIBER ✦

Special issue: International Conference on Formal Engineering Methods—ICFEM 2009

✍ Scribed by Cavalcanti, Ana

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ICFEM 2000. Third IEEE International Con

📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 382 KB

Preface: Special Issue on Nasa Formal Me

✍ Ewen Denney; Dimitra Giannakopoulou; Corina S. Păsăreanu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 55 KB

Foreword: Special issue on the Third Int

✍ Benjamin W. Wah 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 170 KB

[IEEE 2009 Seventh IEEE International Co

✍ Hummel, Benjamin; Thyssen, Judith 📂 Article 📅 2009 🏛 IEEE ⚖ 537 KB

Special Issue Editorial on Proceedings o

✍ Riyi Shi 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 45 KB

Special Issue on the 13th International

✍ Sophie Sarre; Greg Gerhardt 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 111 KB