Items where Author is "Tóth, Melinda"

Group by: Item Type | No Grouping

Number of items: 2.

Ferenczi, Dániel and Tóth, Melinda (2023) Static analysis for safe software upgrade. Annales Mathematicae et Informaticae, 58.. pp. 9-19. ISSN 17876117

Donkó, István and Kaposi, Ambrus and Tóth, Melinda (2020) Formalizing a relational model of concurrent programs in a dependently typed environment. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020.

This list was generated on Wed Apr 2 11:06:34 2025 CEST.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.