scientific article; zbMATH DE number 7799609
From MaRDI portal
Publication:6187044
DOI10.4230/LIPICS.FSTTCS.2021.31MaRDI QIDQ6187044FDOQ6187044
Authors: Aravind Srinivasan, Jaikumar Radhakrishnan 
Publication date: 5 February 2024
Title of this publication is not available (Why is that?)
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6187044)
