Abstract Domains and Solvers for Sets Reasoning
DOI10.1007/978-3-662-48899-7_25zbMath1471.68137OpenAlexW2288373424MaRDI QIDQ3460067
Bor-Yuh Evan Chang, Huisong Li, Arlen Cox, Xavier Rival
Publication date: 12 January 2016
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48899-7_25
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Abstract Domains and Solvers for Sets Reasoning
