scientific article; zbMATH DE number 7790435

MaRDI QIDQ6136873FDO

Authors V. N. Glushkova, O. A. Il'icheva

Publication date 17 January 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

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 Q6136873)