A visual programming environment for Z specifications

Publisher Website

23 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/apsec.1997.640210

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Towards CASE tools for prototyping Z specifications
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
CADi: An architecture for Z tools and its implementation
Software: Practice and Experience, 1995