Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)

José Proença, Markus Lumpe. Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017). Science of Computer Programming, 218:102803, 2022. [doi]

Abstract

Abstract is missing.