scientific article; zbMATH DE number 671941
From MaRDI portal
Publication:4310310
zbMath0820.68074MaRDI QIDQ4310310
Publication date: 26 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)