@inproceedings{1046686,
    title = "Program specification and verification",
    author = "Σηφάκης, Ιωσήφ",
    year = "1997",
    pages = "123-124",
    publisher = "Πανεπιστήμιο Κύπρου",
    booktitle = "Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά"
}