أرسل هذا في رسالة قصيرة: Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers

  _  _      ___      _____      ___              
 | \| ||   / _ \\   /  ___||   / _ \\      ___   
 |  ' ||  / //\ \\ | // __    | / \ ||    /   || 
 | .  || |  ___  ||| \\_\ ||  | \_/ ||   | [] || 
 |_|\_|| |_||  |_|| \____//    \___//     \__ || 
 `-` -`  `-`   `-`   `---`     `---`       -|_|| 
                                            `-`