scientific article; zbMATH DE number 7361350
From MaRDI portal
Publication:4994688
zbMath1464.68048arXiv1309.5133MaRDI QIDQ4994688
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5133
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
