BibTeX record conf/asplos/Solar-LezamaTBSS06

download as .bib file

@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06,
  author    = {Armando Solar{-}Lezama and
               Liviu Tancau and
               Rastislav Bod{\'{\i}}k and
               Sanjit A. Seshia and
               Vijay A. Saraswat},
  editor    = {John Paul Shen and
               Margaret Martonosi},
  title     = {Combinatorial sketching for finite programs},
  booktitle = {Proceedings of the 12th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2006, San Jose, CA, USA, October 21-25, 2006},
  pages     = {404--415},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1168857.1168907},
  doi       = {10.1145/1168857.1168907},
  timestamp = {Tue, 06 Nov 2018 11:07:41 +0100},
  biburl    = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics