37 followers HAL Clermont Auvergn @HALClermontUniv [hal-01338020] Formal Verification of e-Auction Protocols: Auctions have a long history… https://t.co/KywARwMZYu 29 Jun 2016 Reply Repost Favourite