University of Hertfordshire

Journal of Applied Logic

ISSNs: 1570-8683

Elsevier BV

Scopus rating (2018): CiteScore 1.13 SJR 0.286 SNIP 1.367

Journal

View graph of relations

Publications

(1)

A model Type Theory for Formalizing Trusted Communications
Primiero, G. & Taddeo, M., 1 Mar 2012, In : Journal of Applied Logic. 10, 1, p. 92-114
Research output: Contribution to journal › Article

ID: 785788

© University of Hertfordshire