Jonas Schiffl, Alexander Weigl. Are Formal Contracts a Useful Digital Twin of Software Systems?. In Stefan Hallerstede, Eduard Kamburjan, editors, Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. Volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.