Home / Authors / Markus Müller-Olm

Books by Markus Müller-Olm

All books by this author

2 books found
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering)
Variations on Constants: Flow Analysis of Sequential and Pa…
By: Markus Müller-Olm
View Details
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science)
Modular Compiler Verification: A Refinement-Algebraic Appro…
By: Markus Müller-Olm
View Details