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