Fingerprint
Dive into the research topics of 'Case Studies for Contract-based Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Michal Jakob, Michal Pěchouček, Jiří Chábera, Simon Miles, Michael Luck, Nir Oren, Martin Kollingbaum, Camden Holt, Javier Vazquez, Patrick Storms, Martin Dehn
Research output: Chapter in Book/Report/Conference proceeding › Conference paper