A Formal Derivation of Composite Trust

From MaRDI portal
Publication:5327311