Abstract
A discussion of the use and the usefulness of formal methods in
user interface design.
| Original language | English |
|---|---|
| Title of host publication | Engineering for Human-Computer Interaction |
| Place of Publication | London |
| Publisher | Chapman & Hall |
| Publication date | 1996 |
| Publication status | Published - 1996 |
| Event | EHCI'95 Engineering for Human-Computer Interaction - Grand Targhee, USA Duration: 1 Jan 1995 → … |
Conference
| Conference | EHCI'95 Engineering for Human-Computer Interaction |
|---|---|
| City | Grand Targhee, USA |
| Period | 01/01/1995 → … |