Sciweavers

619 search results - page 6 / 124
» IFIP
Sort
View
100
Voted
IFIP
2007
Springer
15 years 8 months ago
Legal Compliance in Commercial Service Provisioning Across Administrative Domains
Martin Waldburger, Burkhard Stiller
IFIP
2005
Springer
15 years 7 months ago
Proof Obligations Preserving Compilation
Gilles Barthe, Tamara Rezk, Ando Saabas