@inproceedings{1039523,
    title = "Ένα εργαλείο στατικού και δυναμικού ελέγχου προγραμμάτων",
    author = "Ξανθάκης, Σπύρος and Μπεκέ, Λίλα",
    year = "1988",
    pages = "503-517",
    booktitle = "2ο Πανελλήνιο Συνέδριο Πληροφορικής. Τεχνολογικό περιβάλλον για σύγχρονες εφαρμογές. (Τόμος 2)"
}