Verification
From MaRDI portal
Publication:2244833
DOI10.4171/AUTOMATA-2/16OpenAlexW4381624446MaRDI QIDQ2244833
Orna Kupferman, Moshe Y. Vardi, Javier Esparza
Publication date: 12 November 2021
Full work available at URL: https://doi.org/10.4171/automata-2/16
This page was built for publication: Verification