Practical formal software engineering wanting the software you get - Mills, Bruce 1962- (New York Cambridge University Press, 2009)
Includes bibliographical references and index.
Keywords: Software engineering -- Textbooks