DMCA

Permission accounting in separation logic (2005)

by Richard Bornat , Cristiano Calcagno , Matthew Parkinson
Venue:In POPL
Citations:188 - 24 self