C4: verified transactional objects
暂无分享，去创建一个
B. Pierce | S. Zdancewic | A. Chlipala | Li-yao Xia | M. Lesani | Anders Kaseorg | Christian J. Bell
暂无分享，去创建一个
B. Pierce | S. Zdancewic | A. Chlipala | Li-yao Xia | M. Lesani | Anders Kaseorg | Christian J. Bell