Erika Ábrahám · 4 obras en el catálogoObrasFormal Techniques for Distributed Objects, Components, and SystemsIntegrated Formal MethodsQQuantitative Evaluation of SystemsQuantitative Evaluation of SystemsTTheoretical Aspects of Computing - ICTAC 2023Theoretical Aspects of Computing - ICTAC 2023