Στατικός έλεγχος της συμπεριφοράς προγραμμάτωνως μέσο εντοπισμού ιομορφικού λογισμικού : by Κροντηράς, Γιώργος