The MOBIUS proof carrying code infrastructure (2008)

by G BARTHE, P CRÉGUT, B GRÉGOIRE, T JENSEN, D PICHARDIE
Venue:In Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007