Compilation of Nonprocedural Specifications into Computer Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Noah S. Prywes, Amir Pnueli. Compilation of Nonprocedural Specifications into Computer Programs. IEEE Trans. Software Eng., 9(3):267-279, 1983.

@article{PrywesP83,
  title = {Compilation of Nonprocedural Specifications into Computer Programs},
  author = {Noah S. Prywes and Amir Pnueli},
  year = {1983},
  researchr = {https://researchr.org/publication/PrywesP83},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {9},
  number = {3},
  pages = {267-279},
}

runs on WebDSL