Compilation Of Synchronous Observers As Code Contracts

Publication
30th ACM/SIGAPP Symposium on Applied Computing, SAC 2015, Salamanca, Spain - April 13 - 17, 2015

Related