Justification Logic as a foundation for certifying mobile computation

Main Authors: Bonelli, Eduardo, Feller, Federico
Format: Artículo
Language: English
Published: 2012-07
Series: Annals of Pure and Applied Logic
vol. 163, no. 7
Subjects:
Online Access: http://sedici.unlp.edu.ar/handle/10915/84399