40 Years of Formal Methods Some Obstacles and Some Possibilities - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark Add to Reading List Document Date: 2014-03-18 03:55:21 Open Document File Size: 237,97 KB Share Result on Facebook

40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, DanmarkAdd to Reading List