![](https://www.pdfsearch.io/img/cb57ecf89a049af45e4bb1368e67f082.jpg) Date: 2009-06-14 14:43:10
| | Reflecting Data: Formally Correct Results for Efficient (and Dirty) Algorithms Lucas Dixon University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. Add to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source Website File Size: 117,29 KBShare Document on Facebook
|