BibTeX record conf/models/DeVriesC16

download as .bib file

@inproceedings{DBLP:conf/models/DeVriesC16,
  author       = {Byron DeVries and
                  Betty H. C. Cheng},
  editor       = {Benoit Baudry and
                  Beno{\^{\i}}t Combemale},
  title        = {Automatic detection of incomplete requirements via symbolic analysis},
  booktitle    = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
                  Driven Engineering Languages and Systems, Saint-Malo, France, October
                  2-7, 2016},
  pages        = {385--395},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2976791},
  timestamp    = {Tue, 06 Nov 2018 16:57:17 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DeVriesC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics