A fixpoint logic and dependent effects for temporal property verification
Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi
研究成果: Conference contribution
13
被引用数
(Scopus)