Publication:4029607

zbMath0760.68053MaRDI QIDQ4029607

Dimiter Skordev

Publication date: 28 March 1993

zbMATH Keywords

program equivalence

Mathematics Subject Classification ID

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