• 1066 Citations
  • 17 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Activities 2001 2019

Filter
Organising a conference, workshop, ...

Third World Congress on Formal Methods

Annabelle McIver (Participant)
7 Oct 201911 Oct 2019

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

International Conference on Quantitative Evaluation of Systems

Annabelle McIver (Participant)
4 Sep 20187 Sep 2018

Activity: Participating in or organising an eventOrganising a conference, workshop, ...