Author

Annabelle McIver

4 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

4 books
Abstraction, refinement and proof for probabilistic systems

Abstraction, refinement and proof for probabilistic systems

Year unknown Annabelle McIver and Charles C. Morgan
Formal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

Year unknown Annabelle McIver, José N. Oliveira, and Maurice H. ter Beek
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

Year unknown Annabelle McIver and Andras Horvath
The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Year unknown Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith

Fetched from OpenLibrary. Some translations may appear as separate works.