453 followers keizo042 @keizo042 "Formalization and Verification of a Mail Server in Coq." https://t.co/FTJpTxj1Ub #dblp 20 May 2016 Reply Repost Favourite