scientific article
From MaRDI portal
Publication:3677154
zbMath0563.68018MaRDI QIDQ3677154
G. F. Mascari, Egidio Astesiano, Martin Wirsing, Gianna Reggio
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ From static to dynamic abstract data-types: An institution transformation ⋮ A formal approach to object-oriented software engineering
This page was built for publication:
