Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 - Tony Hoare - Document - PDFSEARCH.IO

First Page	Meta Content
	Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Add to Reading List Document Date: 2005-10-11 03:37:04 Open Document File Size: 101,99 KB Share Result on Facebook

Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005Add to Reading List