Addressing Usability in a Formal Development Environment.

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Browse the full FM paper archive.