Concepedia

Dominik Messinger

DM

Statistics

Publications

1

Citations

23

H-Index

1

Active since

2015

Affiliations

Microsoft (Canada)(Current)

Dominik Messinger is an author at Microsoft (Canada) specializing in system software, formal specification, and program analysis.

Top concepts

Publications per year

2015–2015

1

Publications

1

Change-Driven Consistency for Component Code, Architectural Models, and Contracts

Max Kramer, Michael Langhammer, Dominik Messinger et al. · 2015 · 23 citations · Full text

, , +21

Rows per page

1–1 of 1