A Practical Theory of Reactive Systems More Books Like This
Formal Methods: Foundations and Applications
2011
Concurrency Theory
2006
Integrated Formal Methods
2009
Specification and Verification of Multi-agent Systems
2010
Fundamentals of Software Engineering
2010
Integrated Formal Methods
2007
Semantics, Logics, and Calculi
2016
Theory and Practice of Formal Methods
2016
Concurrency, Compositionality, and Correctness
2010
International Symposium on Fundamentals of Software Engineering
2007
Software Engineering and Formal Methods
2011
Formal Techniques for Distributed Systems
2010
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Objects, Components, and Systems
2017
Refinement
2018