PROSPECTRA
PROSPECTRA Book 1993
Berthold Hoffmann, Bernd Krieg-Brückner (Eds.): Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Springer 1993 Lecture Notes in Computer Science 680 ISBN 3-540-56733-X [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team