Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja. Algebra for Quantitative Information Flow. In Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, pages 3-23, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.