Model checking security properties of control flow graphs

Cached

Download Links

by Frédéric Besson , Thomas Jensen , Tommy Thorn , Daniel Le Métayer
Venue:Journal of Computer Security
Citations:42 - 1 self