Search

Alexandra Mendes

Alexandra Mendes

Home
Projects
Publications
Teaching
Contact
Research Opportunities
Funded Projects & Service

Campbell Ritchie

Latest

bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs

© 2019—2024 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