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

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

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

This list was generated on 2024. július 16. 08:28:46 CEST.