Showing 1 - 2 results of 2 for search 'Pierce, Benjamin C.', query time: 0.03s Refine Results
  1. 1
    Position paper: the science of deep specification

    Position paper: the science of deep specification by Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve

    Published 2019
    Get full text
    Article
  2. 2
    C4: Verified Transactional Objects

    C4: Verified Transactional Objects by Lesani, Mohsen, Xia, Li-yao, Kaseorg, Anders, Bell, Christian J., Chlipala, Adam, Pierce, Benjamin C., Zdancewic, Steve

    Published 2022
    Get full text
    Article

Search Tools: