Refinement types for secure implementations (2008)

by J Bengtson, K Bhargavan, C Fournet, A D Gordon, S Maffeis
Venue:In CSF