1992 | ||
---|---|---|
2 | EE | K. P. Ventouris, Panayiotis E. Pintelas: A practical assessment of formal specification approaches for data abstractions. Journal of Systems and Software 17(2): 169-188 (1992) |
1989 | ||
1 | EE | Panayiotis E. Pintelas, K. P. Ventouris, M. D. Papassimakopoulou: A translator from Small Euclid to Pascal. SIGPLAN Notices 24(5): 93-101 (1989) |
1 | M. D. Papassimakopoulou | [1] |
2 | Panayiotis E. Pintelas | [1] [2] |