A Formal Z Specification of ProSet-Linda.

Tools

Hasselbring, Wilhelm (1992) A Formal Z Specification of ProSet-Linda. . Informatik-Bericht, 04-92 . University of Essen, 64 pp.

[thumbnail of FormalProSetLinda1992.pdf]
Preview
 Text
FormalProSetLinda1992.pdf
Download (1MB) | Preview

Document Type: Report (Research Report)
Keywords: ProSet-Linda
Research affiliation: Kiel University > Software Engineering
Publisher: University of Essen
Date Deposited: 06 May 2014 22:05
Last Modified: 06 May 2014 22:05
URI: https://oceanrep.geomar.de/id/eprint/24432

Actions (login required)

View Item View Item