TY  - RPRT
TI  - Formal Derivation of Concurrent Garbage Collectors
AU  - Dusko Pavlovic
AU  - Peter Pepper
AU  - Douglas R. Smith
PY  - 2010
UR  - https://arxiv.org/abs/1006.4342
ID  - 1006.4342
ER  -