scientific article; zbMATH DE number 7364139

zbMath1464.68204arXiv1303.7378MaRDI QIDQ4997234

Andrey Rybalchenko, Ashutosh Gupta, Corneliu Popeea

Publication date: 28 June 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)

Related Items (2)

Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ On recursion-free Horn clauses and Craig interpolation

This page was built for publication: