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
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
Machines, Computations, and Universality
2018