✦ LIBER ✦

[ACM Press the 18th international conference - Montreal, Canada (2006.04.18-2006.04.21)] Proceedings of the 18th international conference on Association Francophone d'Interaction Homme-Machine - IHM '06 - Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve

✍ Scribed by Ait-Ameur, Yamine; Ait-Sadoune, Idir; Mota, Jean-Marc; Baron, Mickael

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 18th international confer

✍ Baron, M.; Lucquiaud, V.; Autard, D.; Scapin, D. L. 📂 Article 📅 2006 🏛 ACM Press ⚖ 430 KB

[ACM Press the 18th international confer

✍ Baffoun, Sami; Robert, Jean-Marc 📂 Article 📅 2006 🏛 ACM Press ⚖ 801 KB