scientific article
From MaRDI portal
Publication:3040481
zbMath0526.68006MaRDI QIDQ3040481
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (4)
Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Complexity of proving program correctness ⋮ Wythoff games, continued fractions, cedar trees and Fibonacci searches ⋮ Correctness of programs with Pascal-like procedures without global variables
This page was built for publication:
