この資料をSMS送信: Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid