Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 , , peter.pirkel

First Page		Document Content
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.pirkel Add to Reading List Source URL: pirkelbauer.com Download Document from Source Website File Size: 267,28 KB Share Document on Facebook