Formal Verification of an Incremental Garbage Collector

被引：0

作者：

Lab. d'Info. Fond. Marseille, CMI, 39 rue Joliot-Curie, F-13453, Marseille, France ^{[1
]}

不详 ^{[2
]}

机构：

来源：

| 1600年 / 815-833卷 / December 2003期

关键词：

Theoretical; (THR);

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用