Perspectives on formal methods in the last 25 years /
Fitzgerald, John,1965-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computer Science,
2006.
Includes bibliographical references.