Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment (2012)

by D Doligez, M Jaume, R Rioboo
Venue:in ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) Proceedings