Formal Techniques for Distributed Systems More Books Like This
Integrated Formal Methods
2007
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems
2011
Formal Methods and Software Engineering
2008
Integrated Formal Methods
2009
Fundamentals of Software Engineering
2010
FM 2011: Formal Methods
2011
Formal Methods: Foundations and Applications
2009
Perspectives of Systems Informatics
2010
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Methods and Software Engineering
2015
Formal Methods: Foundations and Applications
2018
Formal Techniques for Distributed Objects, Components, and Systems
2017
Concurrency, Compositionality, and Correctness
2010