BibTeX record conf/ccs/BhargavanDFGGKK16

• > Home > conf/ccs/BhargavanDFGGKK16

@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},
  editor       = {Toby C. Murray and
                  Deian Stefan},
  title        = {Formal Verification of Smart Contracts: Short Paper},
  booktitle    = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
                  Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
                  2016},
  pages        = {91--96},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2993600.2993611},
  doi          = {10.1145/2993600.2993611},
  timestamp    = {Tue, 11 Mar 2025 21:55:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}