CUED Publications database

Analyzing the dynamics of a Z specification

Ciancarini, P and Mascolo, C (1996) Analyzing the dynamics of a Z specification. In: UNSPECIFIED pp. 138-149..

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 19:42
Last Modified: 19 Oct 2017 01:29
DOI: