| Event title | 20th International Conference on Formal Engineering Methods |
|---|---|
| Location | , |
| Period | 1 Nov 2019 → 30 Sept 2020 |
Best Paper Award
- Gainer, Paul (Recipient), Linker, Sven (Recipient), Dixon, Clare (Recipient), Hustadt, U (Recipient) & Fisher, Michael (Recipient)
Prize: Prize (including medals and awards)