Sciweavers

FM
2009
Springer

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

14 years 6 months ago
Sums and Lovers:  Case Studies in Security, Compositionality and Refinement
Annabelle McIver, Carroll C. Morgan
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FM
Authors Annabelle McIver, Carroll C. Morgan
Comments (0)