Showing 1 - 1 results of 1 for search 'Xia, Li-yao', query time: 0.02s
Refine Results
-
1
C4: Verified Transactional Objects by Lesani, Mohsen, Xia, Li-yao, Kaseorg, Anders, Bell, Christian J., Chlipala, Adam, Pierce, Benjamin C., Zdancewic, Steve
Published 2022
Article