Items where Author is "Tóth, Melinda"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 2. ArticleFerenczi, Dániel and Tóth, Melinda (2023) Static analysis for safe software upgrade. Annales Mathematicae et Informaticae, 58.. pp. 9-19. ISSN 17876117 Conference or Workshop ItemDonkó, 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. |