發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

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