@inproceedings{Bhargavan:2016:FVS:2993600.2993611,
    Address = {New York, NY, USA},
    Author = {Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C{\'e}dric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and Zanella-B{\'e}guelin, Santiago},
    BookTitle = {Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security},
    File = {plas16 (0) - a - a - j.pdf},
    ISBN = {978-1-4503-4574-3},
    Keywords = {EVM, Ethereum, formal verification, smart contracts, Solidity},
    Location = {Vienna, Austria},
    Pages = {91--96},
    Publisher = {ACM},
    Series = {PLAS '16},
    Title = {Formal Verification of Smart Contracts: Short Paper},
    URL = {http://doi.acm.org/10.1145/2993600.2993611},
    Year = {2016},
    acmid = {2993611},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2993600.2993611},
    bdsk-url-2 = {https://dx.doi.org/10.1145/2993600.2993611},
    date-added = {2018-04-22 16:04:18 +0000},
    date-modified = {2018-04-22 16:04:54 +0000},
    numpages = {6},
    doi = {10.1145/2993600.2993611}
}

@inproceedings{Bhargavan:2016:FVS:2993600.2993611, Address = {New York, NY, USA}, Author = {Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C{\'e}dric and Gollamudi, Anitha and Gonthier, Georges and Kobeissi, Nadim and Kulatova, Natalia and Rastogi, Aseem and Sibut-Pinote, Thomas and Swamy, Nikhil and Zanella-B{\'e}guelin, Santiago}, BookTitle = {Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security}, File = {plas16 (0) - a - a - j.pdf}, ISBN = {978-1-4503-4574-3}, Keywords = {EVM, Ethereum, formal verification, smart contracts, Solidity}, Location = {Vienna, Austria}, Pages = {91--96}, Publisher = {ACM}, Series = {PLAS '16}, Title = {Formal Verification of Smart Contracts: Short Paper}, URL = {http://doi.acm.org/10.1145/2993600.2993611}, Year = {2016}, acmid = {2993611}, bdsk-url-1 = {http://doi.acm.org/10.1145/2993600.2993611}, bdsk-url-2 = {https://dx.doi.org/10.1145/2993600.2993611}, date-added = {2018-04-22 16:04:18 +0000}, date-modified = {2018-04-22 16:04:54 +0000}, numpages = {6}, doi = {10.1145/2993600.2993611} }