Formal analysis of multiparty contract signing
scientific article; zbMATH DE number 5119736
scientific article