Case Studies for Contract-based Systems

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 proceedingConference paper

20 Citations (Scopus)
221 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Case Studies for Contract-based Systems'. Together they form a unique fingerprint.

Computer Science

Engineering