أرسل هذا في رسالة قصيرة

رقم:

مقدم:

كابتشا:

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

يرجى إدخال ما تراه::

أرسل هذا في رسالة قصيرة: Runtime checking for separation logic