scientific article
From MaRDI portal
Publication:2722037
zbMath0966.68134MaRDI QIDQ2722037
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ An Institution for Object-Z with Inheritance and Polymorphism
This page was built for publication:
