scientific article
From MaRDI portal
Publication:3048315
zbMath0413.68106MaRDI QIDQ3048315
T. N. Smirnova, N. B. Stsiborskaya, A. A. Aleksandrova
Publication date: 1977
Full work available at URL: https://eudml.org/doc/66814
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: