Correctness and equivalence of programs

From MaRDI portal

Publication:1253893

Jump to:navigation, search

zbMath0397.68009MaRDI QIDQ1253893

L. V. Chernobrod

Publication date: 1976

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

Mathematics Subject Classification ID

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

Related Items (1)

Semantics of algorithmic languages

This page was built for publication: Correctness and equivalence of programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1253893&oldid=13344929"