Verification system for partial correctness of communicating sequential processes
Masaki Murakami, Yasuyoshi Inagaki
研究成果 › 査読
1
被引用数
(Scopus)