Mohamed Abaker

Mohamed Abaker

About

Bachelors, 2024
Engineering & Applied Sciences
Mohamed Abaker
Specification and Verification of Functional Programs: Verifying Haskell’s IntMap