इसका टेक्स्ट मैसेज भेजे : Proceedings of the workshop on automated theorem proving in software engineering.