Programming Languages with Applications to Biology and Security More Books Like This
Trustworthy Global Computing
2016
Models, Languages, and Tools for Concurrent and Distributed Programming
2019
Trustworthy Global Computing
2014
Theory and Practice of Formal Methods
2016
Formal Techniques for Distributed Objects, Components, and Systems
2017
Formal Techniques for Distributed Objects, Components, and Systems
2016
Formal Techniques for Distributed Objects, Components, and Systems
2019
Coordination Models and Languages
2018
It's All About Coordination
2018
Formal Aspects of Component Software
2017
Integrated Formal Methods
2018
Formal Aspects of Component Software
2016
International Symposium on Fundamentals of Software Engineering
2007
Semantics, Logics, and Calculi
2016
Perspectives of System Informatics
2016