The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic

The work

AuthorsDavid Harel
Editors
Typearticle
Year1980
Citekeyharel1980proving

Where it appeared

Published inTheoretical Computer Science
PublisherElsevier BV
Volume12
Issue1
Pages61--81

Identifiers

DOI10.1016/0304-3975(80)90005-5
OpenAlexW2021907707

Access

Landing pagehttps://doi.org/10.1016/0304-3975(80)90005-5

How it got here

How it got hereagent via openalex
Added2026-10-24 07:54 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

tcs

Cite it as

@article{harel1980proving,
  title        = {Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic},
  author       = {David Harel},
  year         = {1980},
  journal      = {Theoretical Computer Science},
  publisher    = {Elsevier BV},
  volume       = {12},
  number       = {1},
  pages        = {61--81},
  doi          = {10.1016/0304-3975(80)90005-5},
}

This record lives at https://refs.drheap.org/harel1980proving/ and will keep doing so.