Justification logic as a foundation for certifying mobile computation
scientific article; zbMATH DE number 6022775