Veriscope-People- Computing Science University of Glasgow

	Search VeriScope

	Verification of Similar Concurrent Processes

People


	Professor Muffy Calder http://www.dcs.gla.ac.uk/~muffy/ telephone: 44 141 330 4969 email: muffy@dcs.gla.ac.uk

	Dr. Alice Miller http://www.dcs.gla.ac.uk/~alice/ telephone: 44 141 330 4454 email: alice@dcs.gla.ac.uk

Department of Computing Science, University of Glasgow, 17 Lilybank Gardens, Glasgow, G12 8QQ