Verification of Control Flow Based Security Properties (1998)

Download From

IEEE
Download from IEEE

Download Links

by T. Jensen , D. Le Métayer , T. Thorn
Citations:70 - 5 self