Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer. Model Checking Security Properties of Control Flow Graphs. Journal of Computer Security, 9(3):217-250, 2001.
No references recorded for this publication.
No citations of this publication recorded.