scientific article; zbMATH DE number 3599453

zbMATH Open0385.68012MaRDI QIDQ4166190FDOQ4166190

Authors V. A. Nepomnyashchij 

Publication date 1978

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4166190)