scientific article; zbMATH DE number 782044

zbMath0832.68010MaRDI QIDQ4841301

Eneia Nicolae Todoran

Publication date: 6 August 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationspecificationprocess algebra language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

This page was built for publication: