<i>Sums and Lovers: </i> Case Studies in Security, Compositionality and Refinement.

Annabelle McIver Carroll C. Morgan <i>Sums and Lovers: </i> Case Studies in Security, Compositionality and Refinement. 289-304 2009 FM http://dx.doi.org/10.1007/978-3-642-05089-3_19 conf/fm/2009 db/conf/fm/fm2009.html#McIverM09