Early Specification of User-Interfaces: Toward a Formal Approach.

Jean-Pierre Jacquot, D. Quesnot

Browse the full ICSE paper archive.