Are Formal Contracts a Useful Digital Twin of Software Systems?

Jonas Schiffl, Alexander Weigl

Browse the full FM paper archive.