Compilation Of Synchronous Observers As Code Contracts

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

Related