Concurrency, Compositionality, and Correctness More Books Like This

FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2007
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
Perspectives of Systems Informatics Perspectives of Systems Informatics
Perspectives of Systems Informatics
2010
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2015
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016
Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017
Theoretical Aspects of Computing - ICTAC 2008 Theoretical Aspects of Computing - ICTAC 2008
Theoretical Aspects of Computing - ICTAC 2008
2008