Back to Results
First PageMeta Content



Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex
Add to Reading List

Document Date: 2014-09-03 04:27:28


Open Document

File Size: 238,78 KB

Share Result on Facebook
UPDATE