
Noah Torp-Smith
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (1)
- Published
Local Reasoning about a Copying Garbage Collector
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
ID: 962557