BibTeX record journals/cacm/BeurdoucheBDFKP17

download as .bib file

  author    = {Benjamin Beurdouche and
               Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Jean Karim Zinzindohoue},
  title     = {A messy state of the union: taming the composite state machines of
  journal   = {Commun. {ACM}},
  volume    = {60},
  number    = {2},
  pages     = {99--107},
  year      = {2017}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics