Formalizing user interface requirements

• Authors:

• Kevin Schlueter;Marily Mantei

• Affiliations:

• Department of Computer Science, University of Toronto, Toronto, Ontario, Canada M5S 1A4;-

• Venue:
• CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
• Year:
• 1993