(2007). Runtime verification: 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).
Chicago Style (17th ed.) ZitazioaRuntime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.
MLA (9th ed.) ZitazioaRuntime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.