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