Static Checking of Variable Handling in Dijkstra s Guarded Commands Language - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Paul A. Bailes. Static Checking of Variable Handling in Dijkstra s Guarded Commands Language. Computer Languages, Systems \& Structures, 11(3/4):123-142, 1986.

@article{Bailes86,
  title = {Static Checking of Variable Handling in Dijkstra s Guarded Commands Language},
  author = {Paul A. Bailes},
  year = {1986},
  researchr = {https://researchr.org/publication/Bailes86},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {11},
  number = {3/4},
  pages = {123-142},
}

runs on WebDSL