Rewriting Logic and Its Applications More Books Like This

Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2015
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2016
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017
Concurrency, Compositionality, and Correctness Concurrency, Compositionality, and Correctness
Concurrency, Compositionality, and Correctness
2010
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2019
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016
Trustworthy Global Computing Trustworthy Global Computing
Trustworthy Global Computing
2014
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2016