scientific article
From MaRDI portal
Publication:2753718
zbMath0976.68567MaRDI QIDQ2753718
Egon Börger, Peter Paeppinghaus, Joachim Schmid
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ A guarded fragment for abstract state machines
Uses Software
This page was built for publication: