Are formal methods ready for agility : a reality check /
Larsen, Peter Gorm.
Fitzgerald, John S.
Wolff, Sune.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
c2010.
Title from cover.
"August 2010".