Verifying business rules using model-checking techniques for non-specialist in model-checking
Yoshitaka Aoki, Saeko Matsuura
研究成果: Article › 査読
2
被引用数
(Scopus)