Specification of user-interfaces using CRUISE/OBSERV.

Aviv Cohen, Shmuel S. Tyszberowicz, Amiram Yehudai

Browse the full COMPSAC paper archive.