أرسل هذا في رسالة قصيرة: Formal Methods for Open Object-Based Distributed Systems

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