César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai. CONDEnSe: Contract Based Design Synthesis. In Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. pages 250-260, IEEE, 2019. [doi]
Abstract is missing.