Runtime verification 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 ; selected papers (Springer, 2008)
Literaturangaben