Formal Verification of Smart Contracts: Short Paper (bibtex)
by 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
Reference:
Formal Verification of Smart Contracts: Short Paper (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), In ACM Workshop on Programming Languages and Analysis for Security (PLAS), 2016.
Bibtex Entry:
@inproceedings{DBLP:conf/ccs/BhargavanDFGGKK16,
  author    = {Karthikeyan Bhargavan and  Antoine Delignat{-}Lavaud and  C{\'{e}}dric Fournet and  Anitha Gollamudi and  Georges Gonthier and   Nadim Kobeissi and   Natalia Kulatova and  Aseem Rastogi and  Thomas Sibut{-}Pinote and    Nikhil Swamy and   Santiago Zanella B{\'{e}}guelin},
  title     = {Formal Verification of Smart Contracts: Short Paper},
  booktitle = {{ACM} Workshop on Programming Languages and Analysis for Security (PLAS)},
  pages     = {91--96},
  year      = {2016}}
Powered by bibtexbrowser