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

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