Models of sequential programs used to study functional equivalence of programs

DOI10.1007/BF01072293MaRDI QIDQ3890090zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 1979

Published in Cybernetics (Search for Journal in Brave)

zbMATH Keywords

sequential programsfunctional equivalence of programs

Mathematics Subject Classification ID

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

This page was built for publication: Models of sequential programs used to study functional equivalence of programs

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