scientific article
From MaRDI portal
Publication:3707381
zbMath0584.68036MaRDI QIDQ3707381
Donald Sannella, Andrzej Tarlecki
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stepwise refinementspecification languagesalgebraic specificationbehavioral equivalencestatementevolution of programs
Related Items (1)
This page was built for publication: