Hoare triples是什么意思 Hoare triples在线中文翻译

Hoare triples

中文翻译
1
[网络] Hoare三重奏
相关单词
Hoare triples