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		Document Content
Date: 2013-10-30 13:20:15 WBUF Calculus		Abstract program structures for correct reﬁnement Michael Butler University of Southampton users.ecs.soton.ac.uk/mjb Add to Reading List Source URL: www.ai4fm.org Download Document from Source Website File Size: 3,47 MB Share Document on Facebook