Reflections on the Work of C.A.R. Hoare More Books Like This
Concurrency, Compositionality, and Correctness
2010
Unifying Theories of Programming
2019
The Logic of Software. A Tasting Menu of Formal Methods
2022
Models, Mindsets, Meta: The What, the How, and the Why Not?
2019
Theoretical Aspects of Computing – ICTAC 2010
2010
Formal Methods – The Next 30 Years
2019
Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation
2020
Concurrency, Graphs and Models
2008
Theoretical Aspects of Computing – ICTAC 2021
2021
Programming Languages and Systems
2016
Logic-Based Program Synthesis and Transformation
2019
Logic-Based Program Synthesis and Transformation
2022
Perspectives of System Informatics
2015
Logic-Based Program Synthesis and Transformation
2015