Practical formal software engineering : wanting the software you get /
Practical formal software engineering : wanting the software you get / Bruce Mills - Cambridge : Cambridge Univ. Press, 2009 - 339 p. : ill.
Includes bibliographical references and index
9780521879033
SOFTWARE ENGINEERING--TEXTBOOKS
QA76.758 / M544P