أرسل هذا في رسالة قصيرة: The Automatic assessment of Z specifications /