![](https://www.pdfsearch.io/img/b6434c8e301816eeff5eac6120e32139.jpg) Date: 2016-06-13 14:12:31
| | A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, SpainAdd to Reading ListSource URL: people.seas.harvard.eduDownload Document from Source Website File Size: 220,18 KBShare Document on Facebook
|