scientific article; zbMATH DE number 7364137
From MaRDI portal
Publication:4997232
zbMath1464.68198arXiv1412.1151MaRDI QIDQ4997232
Fabio Fioravanti, Emanuele De Angelis, Jorge A. Navas, Maurizio Proietti
Publication date: 28 June 2021
Full work available at URL: https://arxiv.org/abs/1412.1151
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)
This page was built for publication:
