VeriFly: On-the-fly Assertion Checking with CiaoPP (extended abstract) Miguel A. Sanchez-Ordaz,Isabel Garcia-Contreras,Victor Perez,Jose F. Morales,Pedro Lopez-Garcia,Manuel HermenegildoELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE(2021)引用 0|浏览0暂无评分AI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要