Contract representation for run-time monitoring and enforcement /
Molina-Jimenez, Carlos.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2003.
Caption title.