CUED Publications database

Engineering formal requirements: An analysis and testing method for Z documents

Ciancarini, P and Cimato, S and Mascolo, C (1997) Engineering formal requirements: An analysis and testing method for Z documents. ANN SOFTW ENG, 3. pp. 189-219. ISSN 1022-7091

Full text not available from this repository.
Item Type: Article
Uncontrolled Keywords: CHEMICAL ABSTRACT MACHINE SPECIFICATIONS SYSTEM
Subjects: UNSPECIFIED
Divisions: UNSPECIFIED
Depositing User: Cron Job
Date Deposited: 17 Jul 2017 19:53
Last Modified: 19 Oct 2017 01:29
DOI: