Title: Empirical Software Engineering and Verification
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Information Systems, Software engineering, Logic design, Logics and Meanings of Programs, Computer science, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters