Contract-based interface specification language for functional and non-functional properties /
Payne, R. J.(Richard J.),1984-
Fitzgerald, John,1965-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
c2011.
Title from cover.
"May 2011".