Title from cover.
"August 2010."
Are formal methods ready for agility? : a reality check by P. G. Larsen. Published by University of Newcastle upon Tyne, Computing Science in 2010. Publication and catalogue information, links to buy online and reader comments.