Fifty years of Hoares Logic


Abstract in English

We present a history of Hoares logic.

Download