Formal Techniques for Distributed Objects, Components, and Systems

由 Baier, Christel, Caires, Luís
出版 2020

Foundations of Software Science and Computation Structures

由 Baier, Christel, Lago, Ugo Dal
出版 2020

SOFSEM 2017: Theory and Practice of Computer Science

由 Steffen, Bernhard, Baier, Christel, Brand, Mark van den, Eder, Johann, Hinchey, Mike, Margaria, Tiziana
出版 2020