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/DumasDEP14.xml
Jean-Guillaume Dumas Dominique Duval Burak Ekici Damien Pous Program certification with computational effects. 2014 abs/1411.7140 CoRR http://arxiv.org/abs/1411.7140 db/journals/corr/corr1411.html#DumasDEP14