| |
| 1999 | ||
|---|---|---|
| 3 | EE | Michalis Glykas, George Valiris: Formal methods in object oriented business modelling. Journal of Systems and Software 48(1): 27-41 (1999) |
| 1998 | ||
| 2 | EE | Michalis Glykas, George Valiris: Management science semantics for object-oriented business modelling in BPR. Information & Software Technology 40(8): 417-433 (1998) |
| 1993 | ||
| 1 | Michalis Glykas, Paul Wilhelmij, Tony Holden: Verifiable Object Oriented Designs. TOOLS (11) 1993: 391-406 | |
| 1 | Tony Holden | [1] |
| 2 | George Valiris | [2] [3] |
| 3 | Paul Wilhelmij | [1] |