1
TITLE: A case study in the specification and analysis of design alternatives for a user interface  Full Text
AUTHORS: Duke, D; Fields, B; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Formal Aspects of Computing, VOLUME: 11, ISSUE: 2
INDEXED IN: Scopus