DMCA

Program logic and equivalence in the presence of garbage collection (2001)

by Cristiano Calcagno , Richard Bornat
Citations:21 - 0 self