Αποστολή με SMS: Εμπειρική μελέτη προγραμμάτων Pascal και κατασκευή ενός static analyzer