مؤلف: Stefan Kiefer

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 un …

Javier Esparza received his primary degree in Theoretical Physics and in 1990 his Ph D in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the Univer …