[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || On Constructivity of Galois Connections

• 作者Dillig, Isil; Palsberg, Jens
• 文件大小601.76KB
• 发表时间2018
• DOI10.1007/978-3-319-73721-8_21
• 页码452-473