Cita APA (7th ed.)

(2007). Runtime verification: 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).

Cita Chicago (17th ed.)

Runtime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.

Cita MLA (9th ed.)

Runtime Verification: 7th International Workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : Revised Selected Papers / Oleg Sokolsky, Serdar Taşiran (eds.). 2007.