Automated verification of practical garbage collectors (0)

by C Hawblitzel, E Petrank
Venue:SIGPLAN Not