markus müller olm
Variations on Constants
TaschenbuchPrint on DemandProgram analysis is concerned with techniques that automatically determine run-time properties of...
Static Analysis
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed proceedings of the 21st International Symposium on ...
Modular Compiler Verification
TaschenbuchPrint on DemandInhaltsangabeComplete Boolean lattices.- Galois connections.- States, valuation functions and pre...
Verification, Model Checking, and Abstract Interpretation
TaschenbuchPrint on DemandThis volume contains the proceedings of the 10th International Conference on Veri?cation, Model C...
Dependable Software Engineering. Theories, Tools, and Applications
TaschenbuchPrint on DemandThis book constitutes the proceedings of the Third International Symposium on Dependable Software...
- 1