A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain - Design Factory - Document - PDFSEARCH.IO

First Page	Meta Content
	A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain Add to Reading List Document Date: 2016-06-13 14:12:31 Open Document File Size: 220,18 KB Share Result on Facebook

A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, SpainAdd to Reading List