The Correctness-by-Construction Approach to Programming More Books Like This
Constructing Correct Software
2007
Functional and Logic Programming
2008
Fields of Logic and Computation II
2015
Frontiers of Combining Systems
2019
Logic-Based Program Synthesis and Transformation
2017
Programming Languages and Systems
2010
Functional and Logic Programming
2018
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Logic-Based Program Synthesis and Transformation
2020
Language and Automata Theory and Applications
2016
Logic-Based Program Synthesis and Transformation
2008
Declarative Programming and Knowledge Management
2014
Logic-Based Program Synthesis and Transformation
2019
Programming Languages and Systems
2017
Foundations of Software Science and Computation Structures
2016