Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review)

Harold W. Thimbleby. Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review). Softw. Test., Verif. Reliab., 8(2):103-104, 1998.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.