KORSO
Manfred Broy, Stefan Jähnichen (Eds.): KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Springer 1995 Lecture Notes in Computer Science 1009 ISBN 3-540-60589-4 [ contents ]- Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems - Case Study Production Cell. Springer 1995 Lecture Notes in Computer Science 891 ISBN 3-540-58867-1 [ 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