Title: Automated Technology for Verification and Analysis
Subjects: Programming Techniques, Software engineering, Computer networks, Software Engineering/Programming and Operating Systems, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Automatic theorem proving, Artificial intelligence, Congresses, Computer Communication Networks