Items where Author is " Erdélyi Gáspár"

Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Erdélyi Gáspár: Towards a unified model of computation with correctness proofs.

This list was generated on 2023. június 9. 13:35:20 CEST.