Tennent, R. D.
Specifying Software: A Hands-on introduction - Cambridge Cambridge University Press 2001 - xii, 289p.
978-0-521-80814-9
Specifying Software: A Hands-on introduction - Cambridge Cambridge University Press 2001 - xii, 289p.
978-0-521-80814-9