scientific article; zbMATH DE number 3835316

MaRDI QIDQ3040481zbMATH OpenFDO

Authors Ernst-Rüdiger Olderog

Publication date 1981

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited in

(4)

• Complexity of proving program correctness
• Ernst-Rüdiger Olderog: A Life for Meaning
• Correctness of programs with Pascal-like procedures without global variables
• Wythoff games, continued fractions, cedar trees and Fibonacci searches

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