Publication:2753718
From MaRDI portal
zbMath0976.68567MaRDI QIDQ2753718
Egon Börger, Peter Paeppinghaus, Joachim Schmid
Publication date: 11 November 2001
Related Items
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method, A guarded fragment for abstract state machines
Uses Software