BibTeX record conf/sblp/FeitosaRB18

download as .bib file

@inproceedings{DBLP:conf/sblp/FeitosaRB18,
  author       = {Samuel da Silva Feitosa and
                  Rodrigo Geraldo Ribeiro and
                  Andr{\'{e}} Rauber Du Bois},
  editor       = {Carlos Camar{\~{a}}o and
                  Martin Sulzmann},
  title        = {Property-based testing for lambda expressions semantics in featherweight
                  Java},
  booktitle    = {Proceedings of the {XXII} Brazilian Symposium on Programming Languages,
                  {SBLP} 2018, Sao Carlos, Brazil, September 20-21, 2018},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3264637.3264643},
  doi          = {10.1145/3264637.3264643},
  timestamp    = {Wed, 01 Jun 2022 08:38:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/FeitosaRB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics