Constructing correct software - Cooke (New York: Springer, 2005)
BITCUN
Includes bibliographical references (p. [501]-502) and index
Keywords: Formal methods (Computer science); Computer software -- -- Development