Application of structural modeling and automated reasoning to concurrent program design
S. Honiden*, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai
*この研究の対応する著者
研究成果: Conference contribution
2
被引用数
(Scopus)