Fifty years of Hoare's Logic
Not on the map. Why?
Abstract (arXiv)
We present a history of Hoare's logic.
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). First posted on arXiv 8 Apr 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 1; 2023: 0; 2024: 0; 2025: 0; 2026: 1.
2 papers.