Sciweavers

IFIP
2005
Springer

Proof Obligations Preserving Compilation

14 years 5 months ago
Proof Obligations Preserving Compilation
Gilles Barthe, Tamara Rezk, Ando Saabas
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where IFIP
Authors Gilles Barthe, Tamara Rezk, Ando Saabas
Comments (0)