hoare logic是什么意思 hoare logic在线中文翻译

Hoare logic

中文翻译
1
霍尔逻辑
相关单词
Hoare logic