Müller-Olm, Markus

ID:DA10821127

別名: Olm, Markus Müller-

同姓同名の著者を検索

検索結果3件中 1-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]

所蔵館1館
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

所蔵館2館
3

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

Markus Müller-Olm

Springer c1997 Lecture notes in computer science 1283

所蔵館43館

この著者を外部サイトでさがす

関連著者

Jones, Neil D.

ページトップへ