eCite Digital Repository

Animating formal specifications using Java applets


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:Software engineering
Research Field:Software testing, verification and validation
Objective Division:Information and Communication Services
Objective Group:Other information and communication services
Objective Field:Other information and communication services not elsewhere classified
UTAS Author:Lakos, CA (Dr Charles Lakos)
UTAS 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

Repository Staff Only: item control page