DH Taenzer [May 1982], "A technique for finding storage allocation errors in C-language programs (0)

by DR Barach
Venue:ACM SIGPLAN Notices