Fifty years of Hoares Logic
published by Krzysztof R. Apt in 2019 in Informatics Engineering and research's language is English
Download
Abstract in English
We present a history of Hoares logic.
Download