On the Strength of Sometimes and Always in Program Verification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

L. Csirmaz. On the Strength of Sometimes and Always in Program Verification. Inf. Comput., 57(2/3):165-179, May/June 1983.

@article{Csirmaz83,
  title = {On the Strength of   Sometimes   and   Always   in Program Verification},
  author = {L. Csirmaz},
  year = {1983},
  month = {May/June},
  tags = {program verification},
  researchr = {https://researchr.org/publication/Csirmaz83},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {57},
  number = {2/3},
  pages = {165-179},
}

runs on WebDSL