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/apal/BonelliF12.xml
Eduardo Bonelli Federico Feller Justification Logic as a foundation for certifying mobile computation. 935-950 2012 163 Ann. Pure Appl. Log. 7 https://doi.org/10.1016/j.apal.2011.09.007 db/journals/apal/apal163.html#BonelliF12