Contract representation for validation and run time monitoring

Ellis Solaiman. Contract representation for validation and run time monitoring. PhD thesis, University of Newcastle Upon Tyne, UK, 2004. [doi]

Abstract

Abstract is missing.