BibTeX record conf/synasc/KovacsJ05

• > Home > conf/synasc/KovacsJ05

@inproceedings{DBLP:conf/synasc/KovacsJ05,
  author       = {Laura Ildik{\'{o}} Kov{\'{a}}cs and
                  Tudor Jebelean},
  editor       = {Daniela Zaharie and
                  Dana Petcu and
                  Viorel Negru and
                  Tudor Jebelean and
                  Gabriel Ciobanu and
                  Alexandru Cicortas and
                  Ajith Abraham and
                  Marcin Paprzycki},
  title        = {An Algorithm for Automated Generation of Invariants for Loops with
                  Conditionals},
  booktitle    = {Seventh International Symposium on Symbolic and Numeric Algorithms
                  for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
                  Romania},
  pages        = {245--249},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SYNASC.2005.19},
  doi          = {10.1109/SYNASC.2005.19},
  timestamp    = {Fri, 24 Mar 2023 00:01:58 +0100},
  biburl       = {https://dblp.org/rec/conf/synasc/KovacsJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}