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

رقم:

مقدم:

كابتشا:

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

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

أرسل هذا في رسالة قصيرة: A Framework for An LTS Semantics for PROMELA