Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France - Refal - Document - PDFSEARCH.IO

First Page	Meta Content
	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Document Date: 2016-03-08 11:18:53 Open Document File Size: 46,24 KB Share Result on Facebook

UPDATE

Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List