List of works
研究会・全国大会等
[1]
鵜林 尚靖, "
A Modularity Assessment Framework for Context-Dependent Formal Specifications
," 4th Workshop on Assessment of Contemporary Modularization Techniques(ACoM 2010) (Workshop at SPLC 2010), pages 13-14, 2010年.