A Verification Helper for Task Specifications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

William Hankley, Peikun Tsai. A Verification Helper for Task Specifications. In SAC. pages 193-202, 1993. [doi]

@inproceedings{HankleyT93,
  title = {A Verification Helper for Task Specifications},
  author = {William Hankley and Peikun Tsai},
  year = {1993},
  doi = {10.1145/162754.162866},
  url = {http://doi.acm.org/10.1145/162754.162866},
  researchr = {https://researchr.org/publication/HankleyT93},
  cites = {0},
  citedby = {0},
  pages = {193-202},
  booktitle = {SAC},
}

runs on WebDSL