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