Practical formal software engineering : wanting the software you get /
Mills, Bruce,author.
Originally published: 2009.
Includes bibliographic references and index.