![](https://www.pdfsearch.io/img/e1de9a496716833a3d2a6f2d67deadc6.jpg) Date: 2013-01-09 06:40:19
| | Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 228,52 KB
|