![](https://www.pdfsearch.io/img/1232866662966196ec09120b4c91c451.jpg) Date: 2016-06-02 07:30:26
| | Programmeren & Correctheid Docent: Prof. dr. F.S. de Boer∗ Assistenten: Keyvan Azadbakht†and Vlad Serbanescu‡ Literatuur Verification of Sequential and Concurrent Programs.Add to Reading ListSource URL: homepages.cwi.nlDownload Document from Source Website File Size: 154,84 KBShare Document on Facebook
|