Formal Techniques for Networked and Distributed Systems - FORTE 2007 More Books Like This
International Symposium on Fundamentals of Software Engineering
2007
Fundamentals of Software Engineering
2010
Formal Techniques for Distributed Systems
2011
Formal Techniques for Distributed Systems
2009
Integrated Formal Methods
2009
Web Services and Formal Methods
2011
Perspectives of Systems Informatics
2010
Formal Aspects of Component Software
2016
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Methods and Software Engineering
2015
Formal Methods and Software Engineering
2008
FM 2011: Formal Methods
2011
Formal Methods: Foundations and Applications
2021
Concurrency, Compositionality, and Correctness
2010
Engineering Theories of Software Intensive Systems
2006