Animation of Object-Z specifications with a set-oriented prototyping language

Hasselbring, Wilhelm (1994) Animation of Object-Z specifications with a set-oriented prototyping language [Paper] In: Proceedings Eighth Z User Meeting, 29–30 June 1994, Cambridge, UK.

[img]
Preview
Text
ZUM1994.pdf - Accepted Version

Download (207Kb) | Preview

Document Type: Conference or Workshop Item (Paper)
Keywords: Animation, Object-Z, set-oriented prototyping language
Research affiliation: Kiel University > Software Engineering
Date Deposited: 18 Feb 2012 06:06
Last Modified: 28 Apr 2014 22:03
URI: http://eprints.uni-kiel.de/id/eprint/14629

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...