First-Order Logic Characterization of Program Properties - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Ke Wang, Li-Yan Yuan. First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng., 6(4):518-533, 1994. [doi]

@article{WangY94,
  title = {First-Order Logic Characterization of Program Properties},
  author = {Ke Wang and Li-Yan Yuan},
  year = {1994},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/WangY94},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Knowl. Data Eng.},
  volume = {6},
  number = {4},
  pages = {518-533},
}

runs on WebDSL