scientific article; zbMATH DE number 139628

zbMATH Open0760.68053MaRDI QIDQ4029607FDOQ4029607

Authors: Dimiter Skordev 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

program equivalence

Mathematics Subject Classification ID

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

Cited In (3)

• When Homomorphism Becomes a Liability
• Title not available (Why is that?)
• 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)