A method for detecting defects in source codes using model checking techniques
Yoshitaka Aoki, Saeko Matsuura
研究成果: Conference contribution
2
被引用数
(Scopus)