Title: Automated Technology for Verification and Analysis
Subjects: Congresses, Automatic theorem proving