أرسل هذا في رسالة قصيرة: Proceedings of the workshop on automated theorem proving in software engineering.