Publication:5447366

From MaRDI portal

Jump to:navigation, search

zbMath1137.68040MaRDI QIDQ5447366

Orna Kupferman

Publication date: 6 March 2008

Mathematics Subject Classification ID

68Q45: Formal languages and automata

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

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