Search

Alexandra Mendes

Alexandra Mendes

Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects

Isabel Amaral

Latest

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications

© 2019—2026 Alexandra Mendes. All opinions are personal and do not necessarily represent the entities I am affiliated with. · Powered by the Academic theme for Hugo.

Cite