![](https://www.pdfsearch.io/img/98638edb3d86fd2342acb303acfd86c0.jpg) Date: 2011-11-03 23:34:20
| | Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 , , peter.pirkelAdd to Reading ListSource URL: pirkelbauer.comDownload Document from Source Website File Size: 267,28 KBShare Document on Facebook
|