scientific article; zbMATH DE number 7361362
From MaRDI portal
Publication:4994700
zbMath1464.68073arXiv1309.5146MaRDI QIDQ4994700
Pietro Ferrara, Giulia Costantini, Agostino Cortesi
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5146
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
