精益 argosy 返回
项目作者： mit-pdos

项目描述 ：
Proving crash safety for systems with layered recovery
高级语言： Coq
项目地址: git://github.com/mit-pdos/argosy.git
创建时间： 2018-10-18T17:53:42Z
项目社区：https://github.com/mit-pdos/argosy
开源协议：MIT License
下载