The nonequivalence problem for schemata with memory

MaRDI QIDQ1142579zbMATH OpenFDO

Authors S. A. Nigiyan

Publication date 1979

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

nonequivalence problemprogram schemata with memory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: The nonequivalence problem for schemata with memory

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