hyperproperties
名词 n.
英文释义
名词 n.
-
plural of hyperproperty
— Many practical hyperproperties can be expressed as alternation-free formulas.
0 次浏览
数据来源: Wiktionary