eCite Digital Repository
Animating formal specifications using Java applets
Citation
Lakos, CA and Lewis, G, Animating formal specifications using Java applets, Technology of Object-Oriented Languages and Systems, Melbourne, pp. 181-191. (1997) [Refereed Conference Paper]
Item Details
Item Type: | Refereed Conference Paper |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Computer Software |
Research Field: | Software Engineering |
Objective Division: | Information and Communication Services |
Objective Group: | Other Information and Communication Services |
Objective Field: | Information and Communication Services not elsewhere classified |
Author: | Lakos, CA (Dr Charles Lakos) |
Author: | Lewis, G (Mr Glenn Lewis) |
ID Code: | 11871 |
Year Published: | 1997 |
Deposited By: | Electrical Engineering and Computer Science |
Deposited On: | 1997-08-01 |
Last Modified: | 1998-02-01 |
Downloads: | 0 |
Repository Staff Only: item control page