DMCA

Automatic Verification of Pointer Programs using Monadic Second-Order Logic (1997)

Cached

Download Links

by Jakob L. Jensen , Michael E. Jørgensen , Michael I. Schwartzbach , Nils Klarlund
Venue:In Proc. ACM PLDI, Las Vegas, NV
Citations:62 - 8 self