(2007). Runtime verification: 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Runtime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Runtime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.