發送短信 : Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B

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