| |
| 2007 | ||
|---|---|---|
| 2 | EE | Leo Freitas, Konstantinos Mokos, Jim Woodcock: Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository. ICECCS 2007: 290-298 |
| 2004 | ||
| 1 | EE | Dionysios Politis, Dimitrios Margounakis, Konstantinos Mokos: Visualizing the Chromatic Index of Music. WEDELMUSIC 2004: 102-109 |
| 1 | Leo Freitas (Leonardo Freitas) | [2] |
| 2 | Dimitrios Margounakis | [1] |
| 3 | Dionysios Politis | [1] |
| 4 | Jim Woodcock (J. C. P. Woodcock) | [2] |