Title from cover.
Balancing insight and effort : the industrial uptake of formal methods by John Fitzgerald. Published by University of Newcastle upon Tyne, Computing Science in 2007. Publication and catalogue information, links to buy online and reader comments.