Mohamed Abaker About Bachelors, 2024 Engineering & Applied Sciences alnasir7@upenn.edu Mohamed Abaker Specification and Verification of Functional Programs: Verifying Haskell’s IntMap View Poster
