%0 Conference Paper %1 conf/ccs/BhargavanDFGGKK16 %A Bhargavan, Karthikeyan %A Delignat-Lavaud, Antoine %A Fournet, Cédric %A Gollamudi, Anitha %A Gonthier, Georges %A Kobeissi, Nadim %A Kulatova, Natalia %A Rastogi, Aseem %A Sibut-Pinote, Thomas %A Swamy, Nikhil %A Béguelin, Santiago Zanella %B PLAS@CCS %D 2016 %E Murray, Toby C. %E Stefan, Deian %I ACM %K %P 91-96 %T Formal Verification of Smart Contracts: Short Paper. %U http://dblp.uni-trier.de/db/conf/ccs/plas2016.html#BhargavanDFGGKK16 %@ 978-1-4503-4574-3

@inproceedings{conf/ccs/BhargavanDFGGKK16, added-at = {2023-12-12T19:00:40.000+0100}, author = {Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, Cédric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2339cc063d25978fccdf6531b31ed57fd/admin}, booktitle = {PLAS@CCS}, crossref = {conf/ccs/2016plas}, editor = {Murray, Toby C. and Stefan, Deian}, ee = {https://doi.org/10.1145/2993600.2993611}, interhash = {1a73a7220425f068444b1d3bee1eccc6}, intrahash = {339cc063d25978fccdf6531b31ed57fd}, isbn = {978-1-4503-4574-3}, keywords = {}, pages = {91-96}, publisher = {ACM}, timestamp = {2023-12-12T19:00:40.000+0100}, title = {Formal Verification of Smart Contracts: Short Paper.}, url = {http://dblp.uni-trier.de/db/conf/ccs/plas2016.html#BhargavanDFGGKK16}, year = 2016 }