A Trust Logic for the Varieties of Trust

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57506-9_10 ◽

2020 ◽

pp. 119-136

Author(s):

Mirko Tagliaferri ◽

Alessandro Aldini

Download Full-text