Title: Automated technology for verification and analysis
Subjects: Congresses, Automatic theorem proving