COMP60332: Automated Reasoning and Verification

Current academic year

Previous academic years


Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 23 Jul 22
Copyright © 2010-16 Renate A. Schmidt, School, Man Univ, schmidt@cs.man.ac.uk