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
2007
Formal Techniques for Distributed Systems
2010
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