發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Runtime Verification. 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected papers