CUED Publications database

Using formal methods for teaching software engineering: a tool-based approach

Ciancarini, P and Mascolo, C (1998) Using formal methods for teaching software engineering: a tool-based approach. ANN SOFTW ENG, 6. pp. 433-453. ISSN 1022-7091

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