Publication:4952307

zbMath0953.68090MaRDI QIDQ4952307

Moshe Y. Vardi, Orna Kupferman

Publication date: 9 May 2000

zbMATH Keywords

program synthesis

Mathematics Subject Classification ID

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