Automatic Verification of Pointer Programs Using Monadic Second-order Logic. (1997)

by J Jensen, M Jørgensen, N Klarlund, M Schwartzbach
Venue:In Proc. of PLDI’97.