Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3485
Title: From Co-algebraic Specifications to Implementation: The MIHDA toolkit
Authors: Ferrari, Gianluigi
Montanari, Ugo
Raggi, Roberto
Tuosto, Emilio
First Published: 2003
Citation: Formal Methods for Components and Objects: 1st International Symposium, FMCO 2002. Leiden, The Netherlands, November 5-8, 2002. Proceedings. Lecture Notes in Computer Science, 2003, 2852, pp. 319-338
ISSN: 0302-9743
Links: http://dx.doi.org/10.1007/b14033
http://hdl.handle.net/2381/3485
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.