Publication:4536346

From MaRDI portal

Jump to:navigation, search

zbMath0996.68058MaRDI QIDQ4536346

Jan van Leeuwen, Juraj Wiedermann

Publication date: 4 November 2002

Mathematics Subject Classification ID

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

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