Publication:3982097

zbMath0735.68048MaRDI QIDQ3982097

D.Tătar

Publication date: 26 June 1992

zbMATH Keywords

program schemata

Mathematics Subject Classification ID

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

68Q42: Grammars and rewriting systems