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