![](https://www.pdfsearch.io/img/321e7df1ecb526d359708aa9e2495116.jpg) Date: 2014-09-03 04:27:28
| | Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes CedexAdd to Reading ListSource URL: people.rennes.inria.frDownload Document from Source Website File Size: 238,78 KBShare Document on Facebook
|