An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces.

Luiza Marija F. Carneiro-Coffin, Donald D. Cowan, Carlos Jos Pereira de Lucena, Debbie Smith

Browse the full ICSE paper archive.