2025-02-172006https://dl.ftveti.edu.et/handle/123456789/5440Software Abstractions: Logic, Language, and Analysis