The MOBIUS proof carrying code infrastructure (2007)

by G Barthe, P Crégut, B Grégoire, T P Jensen, D Pichardie
Venue:In 6th International Symposium on Formal Methods for Components and Objects (FMCO