Aspect-Oriented Programming with Model Checking

Naoyasu Ubayashi, Tetsuo Tamai

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

36 引用 (Scopus)

フィンガープリント Aspect-Oriented Programming with Model Checking' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

Engineering & Materials Science