CONDEnSe: Contract Based Design Synthesis.

Csar Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai

Browse the full MODELS paper archive.