BibTeX record conf/hvc/GaleottiFMFZ14

• > Home > conf/hvc/GaleottiFMFZ14

@inproceedings{DBLP:conf/hvc/GaleottiFMFZ14,
  author       = {Juan Pablo Galeotti and
                  Carlo A. Furia and
                  Eva May and
                  Gordon Fraser and
                  Andreas Zeller},
  editor       = {Eran Yahav},
  title        = {DynaMate: Dynamically Inferring Loop Invariants for Automatic Full
                  Functional Verification},
  booktitle    = {Hardware and Software: Verification and Testing - 10th International
                  Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
                  18-20, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8855},
  pages        = {48--53},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13338-6\_4},
  doi          = {10.1007/978-3-319-13338-6\_4},
  timestamp    = {Sun, 25 Jul 2021 11:51:18 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/GaleottiFMFZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}