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