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 . Proceedings Eighth Z User Meeting. ; pp. 337-356 .

[thumbnail of ZUM1994.pdf]
Preview
Text
ZUM1994.pdf - Accepted Version

Download (212kB) | Preview

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

Actions (login required)

View Item View Item