發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Inferring class level specifications for distributed systems