Formal Verification of Smart Contracts Short Paper Karthikeyan Bhargavan1 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Anitha Gollamudi3 , Georges Gonthier2 , Nadim Kobeissi1 , Natalia Kulatova1 , Aseem Rastogi2 , Tho

First Page		Document Content
Date: 2016-10-21 15:46:56		Formal Verification of Smart Contracts Short Paper Karthikeyan Bhargavan1 , Antoine Delignat-Lavaud2 , Cédric Fournet2 , Anitha Gollamudi3 , Georges Gonthier2 , Nadim Kobeissi1 , Natalia Kulatova1 , Aseem Rastogi2 , Tho Add to Reading List Source URL: antoine.delignat-lavaud.fr Download Document from Source Website File Size: 902,63 KB Share Document on Facebook