Auflistung nach Autor:in "Baclawski, Kenneth"
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