Compilation Of Synchronous Observers As Code Contracts

Arnaud Dieumegard, Pierre-Loic Garoche, Temesghen Kahsai, Alice Tailliar, Xavier Thirioux
January 2015
PDF Cite DOI
Type
Conference paper
Publication
30th ACM/SIGAPP Symposium on Applied Computing, SAC 2015, Salamanca, Spain - April 13 - 17, 2015
"own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related