Colouring flags with Dafny & Idris

Jan de Muijnck-Hughes, James Noble

Research output: Contribution to conference › Paper › peer-review

104 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Dafny 2024
de Muijnck-Hughes, J. (Speaker)
14 Jan 2024
Activity: Presenting or Organising an Event › Participation in conference