इसका टेक्स्ट मैसेज भेजे: Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid