scientific article
From MaRDI portal
Publication:3912005
zbMath0462.68005MaRDI QIDQ3912005
Mark S. Moriconi, Richard L. Schwartz
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 (2)
Secure mechanical verification of mutually recursive procedures ⋮ Mechanical verification of mutually recursive procedures
This page was built for publication:
