iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/CaltaisM15.rdf
Georgiana Caltais and Bertrand Meyer: On the Verification of SCOOP Programs. (2015) journals/corr/CaltaisM15 1504.07041 On the Verification of SCOOP Programs. 2 Georgiana Caltais 1 Bertrand Meyer 0001 2 CoRR CoRR abs/1504.07041 2015 provenance information for RDF data of dblp record 'journals/corr/CaltaisM15' 2018-08-13T16:46:16+0200