Michael J. Butler et al.: The Use of Formal Methods in the Analysis of Trust (Position Paper). (2004)conf/itrust/ButlerLPT0410.1007/978-3-540-24747-0_25The Use of Formal Methods in the Analysis of Trust (Position Paper).4Michael J. Butler1Michael Leuschel2Stéphane Lo Presti3Phillip Turner4333-339iTrustiTrust20042004provenance information for RDF data of dblp record 'conf/itrust/ButlerLPT04'2017-05-25T00:42:21+0200