Abstract program structures for correct reﬁnement Michael Butler University of Southampton users.ecs.soton.ac.uk mjb - Calculus of structures - Document - PDFSEARCH.IO

First Page	Meta Content
	Abstract program structures for correct reﬁnement Michael Butler University of Southampton users.ecs.soton.ac.uk/mjb Add to Reading List Document Date: 2013-10-30 13:20:15 Open Document File Size: 3,47 MB Share Result on Facebook Organization Butler University / University of Southampton / / Technology dom / / SocialTag WBUF Calculus

Abstract program structures for correct reﬁnement Michael Butler University of Southampton users.ecs.soton.ac.uk/mjb Add to Reading List