Begivenhedstitel | 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 |
---|---|
Sted | Oxford, Storbritannien |
Periode | 15 jul. 2018 → 17 jul. 2018 |
Best Paper Award
- Bacci, Giovanni (Modtager), Larsen, Kim Guldstrand (Modtager), Markey, N. (Modtager), Bouyer, P. (Modtager), Fahrenberg, U. (Modtager) & Reynier, P. (Modtager)
Pris: Konferencepriser