scientific article; zbMATH DE number 3564309
From MaRDI portal
Publication:4136537
zbMath0362.68053MaRDI QIDQ4136537
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Unnamed Item ⋮ Program development: From enumeration to backtracking ⋮ Formal derivation of strongly correct concurrent programs ⋮ Towards a programming language based on the notion of two-level grammar
This page was built for publication:
