Systematic analysis of control panel interfaces using formal tools (José Campos, 2008)
n/a
Campos and Harrison (2008) Systematic analysis of control panel interfaces using formal tools. DSV-IS 2008.