![](/img/cover-not-exists.png)
Justification Logic as a foundation for certifying mobile computation
Eduardo Bonelli, Federico FellerVolume:
163
Year:
2012
Language:
english
Pages:
16
DOI:
10.1016/j.apal.2011.09.007
File:
PDF, 314 KB
english, 2012