Vol-3506⫷ Vol-3507 ⫸Vol-3508
urn:nbn:de:0074-3507-0


Vol-3507/paper2⫷Vol-3507/paper3⫸Vol-3507/paper4
Jonas SchifflAlexander Weigl

Are Formal Contracts a Useful Digital Twin of Software Systems?