Trustworthy Global Computing More Books Like This
Programming Languages with Applications to Biology and Security
2015
Formal Techniques for Distributed Objects, Components, and Systems
2017
Trustworthy Global Computing
2014
Formal Techniques for Distributed Objects, Components, and Systems
2018
Formal Techniques for Distributed Objects, Components, and Systems
2019
Formal Techniques for Distributed Objects, Components, and Systems
2016
Formal Aspects of Component Software
2017
Principles of Security and Trust
2016
Integrated Formal Methods
2018
Theory and Practice of Formal Methods
2016
Formal Aspects of Component Software
2016
Formal Methods: Foundations and Applications
2017
Coordination Models and Languages
2016
Coordination Models and Languages
2018
Perspectives of System Informatics
2016