M.-L. · M M · M. M¿ller · M. O.
| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction | 978-3-540-63406-5 (3-540-63406-1) | 1997 |
| Variations on Constants: Flow Analysis of Sequential and Parallel Programs | 978-3-540-45385-7 (3-540-45385-7) | 2008 |