scientific article
From MaRDI portal
Publication:3740278
zbMath0603.68097MaRDI QIDQ3740278
Ewa S. Orłowska, Wojciech Buszkowski
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Information storage and retrieval of data (68P20)
Related Items (2)
Proof system for weakest prespecification ⋮ Dynamic logic with program specifications and its relational proof system
This page was built for publication: