This page shows all presentations of this author published in EasyChair Smart Slide.
An Algebraic Approach for Reasoning About Information Flow
Arthur Américo, Mario S. Alvim and Annabelle McIver