![](https://www.pdfsearch.io/img/81c498b78db69c925abd49d1cada181b.jpg) Date: 2015-05-22 05:08:06
| | A New Foundation for Computing Science 1 A Research & Experimental Engineering Programme Dines Bjørner∗Add to Reading ListSource URL: www.imm.dtu.dkDownload Document from Source Website File Size: 294,73 KBShare Document on Facebook
|