發送短信

數:

提供者:

CAPTCHA:

 _____     __   __             __   __   _    _   
|  __ \\   \ \\/ //   ____     \ \\/ // | \  / || 
| |  \ ||   \ ` //   |    \\    \ ` //  |  \/  || 
| |__/ ||    | ||    | [] ||     | ||   | .  . || 
|_____//     |_||    |  __//     |_||   |_|\/|_|| 
 -----`      `-`'    |_|`-`      `-`'   `-`  `-`  
                     `-`

Please enter what you see:

發送短信 : Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat