Del 14446Theoretical Aspects of Computing – ICTAC 2023Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia TarifaHäftad, 2023881 kr
Del 9660Theory and Practice of Formal MethodsErika Ábrahám, Marcello Bonsangue, Einar Broch JohnsenHäftad, 2016556 kr
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham, Klaus HavelundHäftad, 2014556 kr
Formal Techniques for Distributed Objects, Components, and SystemsErika Ábrahám, Catuscia PalamidessiHäftad, 2014556 kr
Tools and Algorithms for the Construction and Analysis of SystemsErika Abraham, Klaus HavelundHäftad, 2014556 kr