DMCA

Verifying Temporal Heap Properties Specified via Evolution Logic (2003)

by Eran Yahav , Thomas Reps , Mooly Sagiv , Reinhard Wilhelm
Venue:In ESOP’2003: European Symp. on Programming, volume 2618 of LNCS
Citations:33 - 3 self