Title: Research directions in software analysis, synthesis and certification
Subjects: SOFTWARE ENGINEERING, COMPUTER PROGRAMS