High integrity software
By: edited by Victor L. Winter, Sourav Bhattacharya.
Contributors: Winter, Victor L.; Bhattacharya, Sourav.
Series: The Kluwer international series in engineering and computer science -- SECS 577.
Publisher: Kluwer Academic Publishers
Published: 2001
Place of publication: Boston, MA
Language: eng
Number of pages: 320
Subjects: Computer software -- Reliability; Computer software -- Development
Notes: Includes bibliographical references and index.