scientific article; zbMATH DE number 3607488
From MaRDI portal
Publication:4172911
zbMath0391.68021MaRDI QIDQ4172911
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Algorithms in computer science (68W99)
Related Items (2)
Automatic synthesis of typed \(\Lambda\)-programs on term algebras ⋮ A logical basis for programming methodology
This page was built for publication:
