Activity: Participating in or organising an event types › Participation in conference
https://popl24.sigplan.org/details/dafny-2024-papers/4/Colouring-Flags-with-Dafny-Idris
Research output: Contribution to conference › Paper › peer-review