Compiler verification: a bibliography (2003)

by M A Dave
Venue:SIGSOFT Software Engineering Notes