A decomposition of a formal specification: An improved constraint-oriented method
Kentaro Go*, Norio Shiratori
*この研究の対応する著者
研究成果: Article › 査読
5
被引用数
(Scopus)