List of works
国際会議
[1]
Naoyasu Ubayashi and Shin Nakajima, "
Separation of Context Concerns --- Applying Aspect Orientation to Vdm
," In Second Overture (Open Source Formal Methods Tools) Workshop (Workshop at FM 06), 2006.