CorrectnessPreserving Derivation of Concurrent Garbage Collection Algorithms
https://www.powershow.com/view1/1b8f1d-ZDc1Z/CorrectnessPreserving_Derivation_of_Concurrent_Garbage_Collection_Algorithms_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/