Turing and software verification /
Jones, Cliff B.,author.
University of Newcastle upon Tyne.School of Computing Science.
Title from cover.
"December 2014."