Static Analysis of Software More Books Like This

Formal Methods Applied to Industrial Complex Systems Formal Methods Applied to Industrial Complex Systems
Formal Methods Applied to Industrial Complex Systems
2014
Validation of Evolving Software Validation of Evolving Software
Validation of Evolving Software
2015
Tests and Proofs Tests and Proofs
Tests and Proofs
2018
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2018
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015
Dependable Computer Systems Dependable Computer Systems
Dependable Computer Systems
2011
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE METHODS FOR SOFTWARE ENGINEERING
2021
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016
Tools and Methods of Program Analysis Tools and Methods of Program Analysis
Tools and Methods of Program Analysis
2017
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017
Reliable Software Technologies - Ada-Europe 2007 Reliable Software Technologies - Ada-Europe 2007
Reliable Software Technologies - Ada-Europe 2007
2007
Testing Techniques in Software Engineering Testing Techniques in Software Engineering
Testing Techniques in Software Engineering
2010
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
2008
Structured Object-Oriented Formal Language and Method Structured Object-Oriented Formal Language and Method
Structured Object-Oriented Formal Language and Method
2020
ECOOP 2011--Object-Oriented Programming ECOOP 2011--Object-Oriented Programming
ECOOP 2011--Object-Oriented Programming
2011