scientific article
From MaRDI portal
Publication:3730006
zbMath0596.68028MaRDI QIDQ3730006
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stepwise refinementproofsmultisorted algebraoperational specificationmechanical correctnessmodular programs
Related Items (1)
This page was built for publication: