Variations on Constants
Müller-Olm, Markus
Lieferbar innerhalb 1 - 2 Wochen
Modular Compiler Verification
Static Analysis
Dependable Software Engineering. Theories, Tools, and Applications
