Model checking security properties of control flow graphs (0)

by Frédéric Besson, Thomas P Jensen, Daniel Le Métayer
Venue:Journal of Computer Security