Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
https://www.powershow.com/view1/17dcd7-ZDc1Z/Correctness-Preserving_Derivation_of_Concurrent_Garbage_Collection_Algorithms_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
