發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Augmenting static program analysis and design verification with pattern recognition