TY  - RPRT
TI  - A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
AU  - Fazli Faruk Okumus
AU  - Amra Ramic
AU  - Stefan Kugele
PY  - 2025
UR  - https://arxiv.org/abs/2505.07542
ID  - 2505.07542
ER  -