Trustworthy systems through quantitative software engineering /
Bernstein, Lawrence,1940-
Yuhas, C. M.
Hoboken, N.J. : Wiley,
c2005.
Includes bibliographical references and index.
Software engineering.
Computer software