Author:Annabelle McIver

Publications
An Algebraic Approach for Reasoning About Information Flow Arthur Américo, Mario S. Alvim and Annabelle McIver EasyChair Preprint no. 442
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 35
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors) EPiC Series in Computing, volume 17