![](https://www.pdfsearch.io/img/e0e9e0478b2240f840c67d08606b04d6.jpg) Date: 2016-12-05 11:56:41
| | EVA - The Evolved Value Analysis plug-in The EVA plug-in SiliconDavid Bühler, Pascal Cuoq and Boris Yakobowski.Add to Reading ListSource URL: frama-c.comDownload Document from Source Website File Size: 968,73 KBShare Document on Facebook
|