BibTeX record conf/csfw/AkinyeleBGSS14

download as .bib file

@inproceedings{DBLP:conf/csfw/AkinyeleBGSS14,
  author    = {Joseph A. Akinyele and
               Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Benedikt Schmidt and
               Pierre{-}Yves Strub},
  title     = {Certified Synthesis of Efficient Batch Verifiers},
  booktitle = {{CSF}},
  pages     = {153--165},
  publisher = {{IEEE} Computer Society},
  year      = {2014}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics