Report copyright - Reproduced under license CC-BY-NC-NDtheses.gla.ac.uk/5244/1/2013McGinnissPhD.pdf · Abstract The modelling and enforcement of typestate constraints in object oriented languages has
Please pass captcha verification before submit form