A Case Study in Formal Verification using Multiple Explicit Heaps Wojciech Mostowski Formal Methods and Tools, University of Twente, The Netherlands - University of Twente - Document - PDFSEARCH.IO

First Page	Meta Content
	A Case Study in Formal Verification using Multiple Explicit Heaps Wojciech Mostowski Formal Methods and Tools, University of Twente, The Netherlands Add to Reading List Document Date: 2013-04-16 11:11:29 Open Document File Size: 405,41 KB Share Result on Facebook

A Case Study in Formal Verification using Multiple Explicit Heaps Wojciech Mostowski Formal Methods and Tools, University of Twente, The Netherlands Add to Reading List