Languages
Muller-Olm, Markus.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Static analysis = 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : proceedings /
by:
Muller-Olm, Markus.; Seidl, Helmut.; SpringerLink (Online service)
(Electronic resources)
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
by:
SpringerLink (Online service); Muller-Olm, Markus.
(Language materials, printed)