Specification of Software Systems More Books Like This
Engineering Theories of Software Intensive Systems
2006
Engineering Trustworthy Software Systems
2018
Formal Methods: Foundations and Applications
2011
Formal Techniques for Distributed Systems
2009
Programming Languages and Systems
2008
Programming Languages and Systems
2009
International Symposium on Fundamentals of Software Engineering
2007
Formal Methods: Foundations and Applications
2016
Formal Methods: Foundations and Applications
2009
Logic-Based Program Synthesis and Transformation
2008
Integrated Formal Methods
2009
Formal Methods and Software Engineering
2008
Formal Techniques for Networked and Distributed Systems - FORTE 2007
2007
Perspectives of Systems Informatics
2010
Programming Languages and Systems
2015