發送短信

數:

提供者:

CAPTCHA:

 _    _      ___     _____     _    _    _    _   
| || | ||   / _ \\  |  __ \\  | || | || | \  / || 
| || | ||  / //\ \\ | |  \ || | || | || |  \/  || 
| \\_/ || |  ___  ||| |__/ || | \\_/ || | .  . || 
 \____//  |_||  |_|||_____//   \____//  |_|\/|_|| 
  `---`   `-`   `-`  -----`     `---`   `-`  `-`

Please enter what you see:

發送短信 : Formal Methods for Components and Objects