Fifty years of Hoares Logic

نشر في Krzysztof R. Apt بتاريخ 2019 في مجال الهندسة المعلوماتية والبحث باللغة English تحميل البحث

We present a history of Hoares logic.