Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota. Développements formels d interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Ingénierie des Systèmes d Information, 13(2):127-154, 2008. [doi]
Abstract is missing.