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