CUED Publications database

Analyzing and Animating Declarative Specifications.

Cimato, S and Mascolo, C (1996) Analyzing and Animating Declarative Specifications. In: UNSPECIFIED pp. 295-308..

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Subjects: UNSPECIFIED
Divisions: UNSPECIFIED
Depositing User: Cron Job
Date Deposited: 17 Jul 2017 20:10
Last Modified: 27 Jul 2017 05:50
DOI: