Proof and Computation 2022
- Nordvall Forsberg, F. (Invited speaker)
Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences
Activity: Participating in or organising an event types › Key-note speaker and plenary lectures at conferences