發送短信 : Formal Methods for Components and Objects

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