scientific article; zbMATH DE number 7361355
From MaRDI portal
Publication:4994693
zbMath1464.68074arXiv1309.5139MaRDI QIDQ4994693
Fabio Fioravanti, Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5139
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: