Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Annabelle McIver | lit.salon

Author

Annabelle McIver

4 works

2004–2019 across 3 dated works

No biography is available yet.

Start with

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)2004
With Charles C. Morgan
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings2018
With Andras Horvath
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings2019
With Maurice H. ter Beek, José N. Oliveira

Books

3 works

Featured (3)Featured (3)All (4)All (4)

Search booksSort books

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)2004
With Charles C. Morgan
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings2018
With Andras Horvath
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings2019
With Maurice H. ter Beek, José N. Oliveira
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Annabelle McIver.

The conversation is still open.

There is no public salon activity to show for Annabelle McIver yet.