Formalization-of-sequence-diagram - 源码 - 源码 - 免费下载

Formalization-of-sequence-diagram

文件大小： unknow

源码售价： 5 个金币积分规则积分充值

资源说明：All the code relates to the formalization and proof of sequence diagram

评审，您好：

   由于Github近期突然关闭了download功能，论文相关Coq代码的存放目录由地址http://github.com/LisaPhoebeCoq/Formalization-of-sequence-diagram/downloads 修改为地址https://github.com/LisaPhoebeCoq/Formalization-of-sequence-diagram ，对此为您所造成的不便深表歉意。



Hello,

   Since Github closed “download” section these days. The directory of related code has changed to 
https://github.com/LisaPhoebeCoq/Formalization-of-sequence-diagram. Deeply sorry about
this.

部分文件列表（点击文件名可查看文件内容）

					
									本源码包内暂不包含可直接显示的源代码文件，请下载源码包。