Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago · Lecture notes in computer science · 2018
The FOSSACS 2018 open access proceedings book is dedicated to foundational research with a clear significance for software science, focusing on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.