發送短信

數:

提供者:

CAPTCHA:

             ___     _    _    _    _             
  ____      / _ \\  | || | || | || | ||   ____    
 |    \\   | / \ || | || | || | || | ||  |    \\  
 | [] ||   | \_/ || | \\_/ || | \\_/ ||  | [] ||  
 |  __//    \___//   \____//   \____//   |  __//  
 |_|`-`     `---`     `---`     `---`    |_|`-`   
 `-`                                     `-`

Please enter what you see:

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