237 followers Verification papers @verif_papers Model Checking a Server-Side Micro Payment Protocol. - Kaylash Chaudhary, Ansgar Fehnker http://t.co/zQug8d07Yb 15 May 2015 Reply Repost Favourite