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