Evolution of a course on model checking for practical applications
Yasuyuki Tahara*, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
*この研究の対応する著者
研究成果: Article › 査読
2
被引用数
(Scopus)