摘要：Leapfrog：一种基于Coq的网络协议解析器等价性验证框架
作者：Ryan Doenges, Tobias Kapp''e, John Sarracino, Nate Foster, Greg Morrisett
论文ID：2205.08762
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-02-03
PDF 下载： 英文版 中文版pdf翻译中