Partial predicate abstraction and counter-example guided refinement - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tuba Yavuz. Partial predicate abstraction and counter-example guided refinement. J. Log. Algebr. Meth. Program., 110, 2020. [doi]

@article{Yavuz20,
  title = {Partial predicate abstraction and counter-example guided refinement},
  author = {Tuba Yavuz},
  year = {2020},
  doi = {10.1016/j.jlamp.2019.01.003},
  url = {https://doi.org/10.1016/j.jlamp.2019.01.003},
  researchr = {https://researchr.org/publication/Yavuz20},
  cites = {0},
  citedby = {0},
  journal = {J. Log. Algebr. Meth. Program.},
  volume = {110},
}

runs on WebDSL