發送短信

數:

提供者:

CAPTCHA:

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

Please enter what you see:

發送短信 : Rule Randomization for Propositional Logic-Based Workflow Verification