Text this: Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers

 _____     __   __    ______   _    _    __   __  
|  __ \\   \ \\/ //  /_   _// | || | ||  \ \\/ // 
| |  \ ||   \ ` //   `-| |,-  | || | ||   \   //  
| |__/ ||    | ||      | ||   | \\_/ ||   / . \\  
|_____//     |_||      |_||    \____//   /_//\_\\ 
 -----`      `-`'      `-`'     `---`    `-`  --`