Service logic program generation method using specification supplementing techniques
Hiroshi Sakai, Kazumasa Takami, Yoshihiro Niitsu
研究成果: Paper › 査読
1
被引用数
(Scopus)