Formal Verification of Smart Contracts Article Swipe

Karthikeyan Bhargavan , Antoine Delignat-Lavaud , Cédric Fournet , Anitha Gollamudi , Georges Gonthier , Nadim Kobeissi , Natalia Kulatova , Aseem Rastogi , Thomas Sibut-Pinote , Nikhil Swamy , Santiago Zanella-Béguelin · YOU? · · 2016 · Open Access · · DOI: https://doi.org/10.1145/2993600.2993611 · OA: W2538848838