Fundamentals of Software Engineering More Books Like This
International Symposium on Fundamentals of Software Engineering
2007
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Formal Techniques for Distributed Systems
2011
Integrated Formal Methods
2009
Integrated Formal Methods
2007
Theoretical Aspects of Computing - ICTAC 2008
2008
Formal Techniques for Distributed Systems
2009
Concurrency, Compositionality, and Correctness
2010
Formal Techniques for Distributed Systems
2010
FM 2011: Formal Methods
2011
Models, Algorithms, Logics and Tools
2017
Perspectives of Systems Informatics
2010
Theory and Practice of Formal Methods
2016
Concurrency, Graphs and Models
2008
Theoretical Aspects of Computing – ICTAC 2010
2010