=Paper=
{{Paper
|id=Vol-3507/paper3
|storemode=property
|title=Are Formal Contracts a Useful Digital Twin of Software Systems?
|pdfUrl=https://ceur-ws.org/Vol-3507/paper3.pdf
|volume=Vol-3507
|authors=Jonas Schiffl,Alexander Weigl
|dblpUrl=https://dblp.org/rec/conf/fm/SchifflW23
}}
==Are Formal Contracts a Useful Digital Twin of Software Systems?==
None