[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

"Specifying and Verifying Persistent Libraries."

Léo Stefanesco, Azalea Raad, Viktor Vafeiadis (2023)

Details and statistics

DOI: 10.48550/ARXIV.2306.01614

access: open

type: Informal or Other Publication

metadata version: 2023-06-12