«Hoare logic»

Hoare logic в энциклопедиях

Источники

хоаровская логика (формализм для частичного доказательства правильности программ)