أرسل هذا في رسالة قصيرة: Formal Methods for Components and Objects

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