论文标题
从结构良好的过渡系统到程序验证
From Well Structured Transition Systems to Program Verification
论文作者
论文摘要
我们描述了WST理论用于验证程序的使用。
We describe the use of the theory of WSTS for verifying programs.
加入微信交流群
发送 求 20200802929 免费下载英文原文
我们描述了WST理论用于验证程序的使用。
We describe the use of the theory of WSTS for verifying programs.
发送 求 20200802929 免费下载英文原文