Synergistic modelling of tasks, users and systems using formal specification techniques
| Year of publication: |
1997
|
|---|---|
| Authors: | Palanque, P. ; Bastide, R. |
| Published in: |
Interacting with computers : the interdisciplinary journal of human-computer interaction. - Amsterdam [u.a.] : Elsevier, ISSN 0953-5438, ZDB-ID 10125607. - Vol. 9.1997, 2, p. 129-154
|