Login / Signup

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.

Michael HuthJim Huan-Pu Kuo
Published in: TACAS (2014)
Keyphrases