發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : UML design verification based on model checking techniques