Müller-Olm, Markus

ID:DA10821127

Alias Name: Olm, Markus Müller-

Search authors sharing the same name

Search Results1-3 of 3

1

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Xinyu Feng, Markus Müller-Olm, Zijiang Yang

Springer c2018 Lecture notes in computer science 10998

: [pbk]

Available at 1 libraries
2

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings

Neil D. Jones, Markus Müller-Olm (eds.)

Springer c2009 Lecture notes in computer science 5403

Available at 2 libraries
3

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction

Markus Müller-Olm

Springer c1997 Lecture notes in computer science 1283

Available at 43 libraries

Search this author

Related Authors

Jones, Neil D.