Publication:6146254
From MaRDI portal
DOI10.4230/lipics.fsttcs.2021.25MaRDI QIDQ6146254
Publication date: 5 February 2024
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Qxx: Theory of computing