@inproceedings{1054541,
    title = "Randomized specifications",
    author = "Στεφανέας, Πέτρος Σ.",
    year = "1995",
    pages = "581-588",
    publisher = "Εκπαιδευτικό Κέντρο Κτηματικής Τραπέζης",
    booktitle = "5ο Πανελλήνιο Συνέδριο Πληροφορικής. Πρακτικά εισηγήσεων: έρευνα στις τεχνολογίες πληροφορικής και επικοινωνιών, πληροφοριακά συστήματα, κοινωνικές διαστάσεις της πληροφορικής. Τόμος 2ος"
}