Fifty years of Hoares Logic


الملخص بالإنكليزية

We present a history of Hoares logic.

تحميل البحث