1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George Add to Reading List Document Date: 2014-04-26 05:17:00 Open Document File Size: 250,77 KB Share Result on Facebook

1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. GeorgeAdd to Reading List