Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
CHI
/
Paper
Using formal specifications in the design of a human-computer interface.
Robert J. K. Jacob
Venue
A*
CHI
Year
1982
Proceedings
CHI
DBLP record
conf/chi/Jacob82 ↗
Browse the full
CHI paper archive
.