Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
ACHI
/
Paper
A Preliminary Experiment of Checking Usability Principles with Formal Methods.
Steinar Kristoffersen
Venue
C
ACHI
Year
2009
Proceedings
ACHI
DBLP record
conf/achi/Kristoffersen09 ↗
Browse the full
ACHI paper archive
.