国際会議
[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.