Select Publications


Alvim MS; Chatzikokolakis K; McIver A; Morgan C; Palamidessi C; Smith G, 2020, The Science of Quantitative Information Flow, Springer International Publishing,

Leucker M; Morgan C, 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Morgan CC; McIver A, 2005, Abstraction, refinement and proof for probabilistic systems, 1, Springer Verlag, New York,

2003, Programming Methodology, Morgan CC; McIver A, (ed.), Springer Publishing Company, New York,

Back to profile page