Title: Automated Technology for Verification and Analysis
Subjects: Logic design, Computer networks, Computer science, Software engineering, Information storage and retrieval systems, Automatic theorem proving, Congresses