The temporal logic of programs
The temporal logic of programs is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: Amir Pnueli; Year: 1977; Field: Logic, programming, and type systems.
| Authors | Amir Pnueli |
|---|---|
| Year | 1977 |
| Field | Logic, programming, and type systems |
| Times cited | 5661 |
| Type | article |
| DOI / link | https://doi.org/10.1109/sfcs.1977.32 |