Publications
Talk · Lecture notes in computer science · January 1, 2020
Reflections on Teaching Formal Methods for Software Development in Higher Education
Mansur Khazeev, Hamna Aslam, Daniel de Carvalho, Manuel Mazzara, Jean‐Michel Bruel, Joseph Alexander Brown
Teaching and Learning ProgrammingLogic, programming, and type systemsEngineering Education and Pedagogyformal methods educationformal verificationteaching formal methods
More by Manuel Mazzara
- Anchored Rank-Adversarial Fine-Tuning Pretrained Visual Place Recognition ModelsarXiv · 2026
- See the Future, Classify the Present: Stochastic Latent World Modeling for Hyperspectral ImagesarXiv · 2026
- Autoresearch with Coding Agents: Generalizers and Metric-Maximizers on Quran Recitation DataLecture notes in computer science · 2026 · Citations: 1
- What Counts as a Mistake? Annotating Recitation Events in Quran Memorization TranscriptsarXiv · 2026