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

رقم:

مقدم:

كابتشا:

  _  _      ___      _  __     ___     _    _   
 | \| ||   / _ \\   | |/ //   / _ \\  | |  | || 
 |  ' ||  | / \ ||  | ' //   / //\ \\ | |/\| || 
 | .  ||  | \_/ ||  | . \\  |  ___  |||  /\  || 
 |_|\_||   \___//   |_|\_\\ |_||  |_|||_// \_|| 
 `-` -`    `---`    `-` --` `-`   `-` `-`   `-`

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

أرسل هذا في رسالة قصيرة: Model checking in isomorphic module systems