Korso: Methods, Languages and Tools for the Construction of Correct Software 
Subtitle: Final Report (Lecture Notes in Computer Science, 1009)
Contributors: Manfred Broy (Editor); Stefan Jahnichen (Editor)
Publisher: Springer
Published: June 1995
Language: eng
Format: Paperback
Number of pages: 449
ISBN-13: 9783540605898
Subjects: Software engineering; Development; Computer software; Computers; Computers - Languages / Programming; Science/Mathematics; Computer Books: Languages; Programming Languages - General; Logic Design; Programming - Software Development; Computer Science
First sentence: The reliability of a software system is a critical factor in determining its quality.