scientific article
From MaRDI portal
Publication:3956382
zbMath0493.68025MaRDI QIDQ3956382
K. Drosten, Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsalgebraic semanticsexception handlingcorrectness of specificationserror handlingspecification of abstract data types
This page was built for publication: