scientific article; zbMATH DE number 3551855

zbMath0354.68028MaRDI QIDQ4125728

José Meseguer, Joseph A. Goguen

Publication date: 1977

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (5)

José Meseguer: Scientist and Friend Extraordinaire ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I ⋮ Varieties of chain-complete algebras ⋮ Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II ⋮ Correctness of recursive parallel nondeterministic flow programs

This page was built for publication: