Markus Muller-Olm
2 books • 2 series
Lecture Notes in Computer Science
Book #1283: Modular Compiler Verification
Book #3800: Variations on Constants
Programming and Software Engineering
Book #3800: Variations on Constants