Refinement types for secure implementations (2008)

by Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D Gordon, Sergio Maffeis
Venue:In CSF