| Original language | English |
|---|---|
| Title of host publication | Formal Methods in Human-Computer Interaction |
| Editors | Michael Harrison, Harold Thimbleby |
| Place of Publication | Cambridge |
| Publisher | Cambridge University Press |
| Pages | 233-271 |
| Number of pages | 344 |
| ISBN (Print) | 9780521372022 |
| Publication status | Published - 1990 |
Publication series
| Name | Cambridge Series on Human-Computer Interaction |
|---|---|
| Publisher | Cambridge University Press |