A Formal Z Specification of ProSet-Linda

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

[img]
Preview
Text
FormalProSetLinda1992.pdf

Download (1874Kb) | Preview

Document Type: Report (Research Report)
Keywords: ProSet-Linda
Research affiliation: Kiel University > Software Engineering
Date Deposited: 06 May 2014 22:05
Last Modified: 06 May 2014 22:05
URI: http://eprints.uni-kiel.de/id/eprint/24432

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...