External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CONDEnSe: Contract Based Design Synthesis

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]

Authors

César Augusto Ribeiro dos Santos

This author has not been identified. Look up 'César Augusto Ribeiro dos Santos' in Google

Amr Hany Saleh

This author has not been identified. Look up 'Amr Hany Saleh' in Google

Tom Schrijvers

This author has not been identified. It may be one of the following persons: Look up 'Tom Schrijvers' in Google

Mike Nicolai

This author has not been identified. Look up 'Mike Nicolai' in Google
runs on