Theoretical Aspects of Computing – ICTAC 2017 More Books Like This
Theoretical Aspects of Computing - ICTAC 2015
2015
Theoretical Aspects of Computing – ICTAC 2016
2016
Automated Technology for Verification and Analysis
2015
Semantics, Logics, and Calculi
2016
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Verification, Model Checking, and Abstract Interpretation
2015
Perspectives of System Informatics
2015
Verification, Model Checking, and Abstract Interpretation
2017
Programming Languages and Systems
2017
Dependable Software Engineering. Theories, Tools, and Applications
2017
Programming Languages and Systems
2018
Programming Languages and Systems
2016
Models, Algorithms, Logics and Tools
2017
Formal Methods and Software Engineering
2019
Rewriting Logic and Its Applications
2016