When you come at the king you best not miss
From MaRDI portal
Publication:6604636
DOI10.4230/LIPICS.FSTTCS.2022.25MaRDI QIDQ6604636FDOQ6604636
Authors: Oded Lachish, Felix Reidl 
Publication date: 12 September 2024
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)
This page was built for publication: When you come at the king you best not miss
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6604636)
