COMP60121: Automated Reasoning
Previous Deliveries
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
Renate A. Schmidt
Home
|
Publications
|
FM Group
|
School
|
Man Univ
Last modified: 16 Sep 10
Copyright © 2005-10 Renate A. Schmidt, School, Man Univ, schmidt@cs.man.ac.uk