Verification

From MaRDI portal

Publication:2244833

Jump to:navigation, search

DOI10.4171/AUTOMATA-2/16MaRDI QIDQ2244833

Moshe Y. Vardi, Orna Kupferman, Javier Esparza

Publication date: 12 November 2021

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2244833&oldid=14794881"