Using Formal Specifications in the Design of a Human-Computer Interface

doi 10.1145/800049.801802
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press