Verification

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verification