Report - Operational Semantics - Imperial College Londonsvb/AssuredSoftware/notes.pdfThese notes are based on slides prepared by Chris Hankin, and to be used in the course Op-erational Semantics

Please pass captcha verification before submit form