scientific article; zbMATH DE number 7650347
From MaRDI portal
Publication:5875689
DOI10.4230/LIPICS.FSTTCS.2019.50MaRDI QIDQ5875689
Doron Tiferet, Alexander Rabinovich
Publication date: 3 February 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
Related Items (1)
This page was built for publication: