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 : [abstract].

This list was generated on 2024. június 18. 04:26:23 CEST.