scientific article; zbMATH DE number 7364138

zbMath1464.68078arXiv1412.1152MaRDI QIDQ4997233

Temesghen Kahsai, Arie Gurfinkel, Pierre-Loïc Garoche

Publication date: 28 June 2021

Full work available at URL: https://arxiv.org/abs/1412.1152

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Solving constrained Horn clauses over algebraic data types ⋮ Unnamed Item

This page was built for publication: