![](/img/cover-not-exists.png)
Integrating status and event phenomena in formal specifications of interactive systems
Abowd, Gregory D., Dix, Alan J.Volume:
19
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/195274.195293
Date:
December, 1994
File:
PDF, 901 KB
english, 1994