scientific article; zbMATH DE number 139628

MaRDI QIDQ4029607zbMATH OpenFDO

Authors Dimiter Skordev

Publication date 28 March 1993

zbMATH Keywords

program equivalence

Mathematics Subject Classification ID

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

Recommendations

• The equivalence problem and correctness formulas for a simple class of programs
• scientific article; zbMATH DE number 3883587
• scientific article; zbMATH DE number 3846863
• Equivalences among logics of programs
• scientific article; zbMATH DE number 2090534
• scientific article; zbMATH DE number 2165693
• scientific article; zbMATH DE number 4131671
• scientific article; zbMATH DE number 4094778

Cited in

(3)

• When Homomorphism Becomes a Liability
• scientific article; zbMATH DE number 7809184 (Why is no real title available?)
• Program morphisms

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