scientific article; zbMATH DE number 7650321
From MaRDI portal
Publication:5875658
DOI10.4230/LIPIcs.FSTTCS.2019.24MaRDI QIDQ5875658
Nguyen Kim Thang, Abhinav Srivastav, Benjamin Moseley, Giorgio Lucarelli, Denis Trystram
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:
