未找到相关数据
Charge! A framework for higher-order separation logic in Coq
被引：0
作者：
IT University of Copenhagen, Denmark
[1
]
机构：
来源：
Lect. Notes Comput. Sci.
|
/
315-331期
关键词：
Compilation and indexing terms;
Copyright 2025 Elsevier Inc;
D O I：
3rd International Conference on Interactive Theorem Proving, ITP 2012
中图分类号：
学科分类号：
摘要：
Separation - Formal logic - Theorem proving
引用
收藏
相关论文