✦ LIBER ✦

Special Issue on Formal Methods for Visual Interaction

✍ Scribed by Fabio Paternò

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

RAM Special Issue on Formal Methods for

📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 168 KB

Preface: special issue on NASA Formal Me

✍ César A. Muñoz 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 68 KB

Preface: Special Issue on Nasa Formal Me

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

Guest editors’ introduction: Special iss

✍ Marieke Huisman; Thomas Jensen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 119 KB

RAM Special Issue: Formal Methods for Ro

📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 135 KB

Special issue: International Conference

✍ Cavalcanti, Ana 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 132 KB