ALGORITHMS TO TRANSFORM THE FORMAL SPECIFICATION OF A USER-COMPUTER INTERFACE

Publisher Website

1 January 1987

book chapter
Published by Elsevier

p. 1001-1006
https://doi.org/10.1016/b978-0-444-70304-0.50157-6

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Graceful interaction through the COUSIN command interface
International Journal of Man-Machine Studies, 1983