Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)
Primary LanguageCoqOtherNOASSERTION