Termination proofs for systems code (2006)

by Byron Cook, Andreas Podelski, Andrey Rybalchenko
Venue:SIGPLAN Not