Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.

Damien Doligez, Mathieu Jaume, Renaud Rioboo

Browse the full PLDI paper archive.