Compiler verification

Maulik A. Dave
2003 Software engineering notes  
doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika