Auflistung nach Autor:in "Smith, Jeffrey E."
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragFormal verification of UML diagrams: A first step towards code generation(Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001, 2001) Smith, Jeffrey E.; Kokar, Mieczyslaw K.; Baclawski, Kenneth