KORSO
Subtitle: methods, languages, and tools for the construction of correct software : final report
By: Manfred Broy, Stefan Jähnichen, (eds.).
Contributors: Broy, M., 1949-; Jähnichen, Stefan.
Series: Lecture notes in computer science ;; 1009
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 449
Subjects: Computer software -- Development
Notes: Includes bibliographical references.