scientific article; zbMATH DE number 7650309
From MaRDI portal
Publication:5875644
DOI10.4230/LIPIcs.FSTTCS.2019.12MaRDI QIDQ5875644
Yujin Choi, Hee-Kap Ahn, Seungjun Lee
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1910.08686
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:
