Formal Techniques for Distributed Systems More Books Like This
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Distributed Systems
2011
Integrated Formal Methods
2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Fundamentals of Software Engineering
2010
Models, Algorithms, Logics and Tools
2017
Integrated Formal Methods
2018
Dependable Software Engineering. Theories, Tools, and Applications
2017
Formal Methods and Software Engineering
2016
Integrated Formal Methods
2009
Formal Techniques for Distributed Systems
2009
Formal Methods: Foundations and Applications
2017
Formal Techniques for Distributed Objects, Components, and Systems
2017
Formal Methods: Foundations and Applications
2021
Concurrency, Compositionality, and Correctness
2010