Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Campbell Ritchie
Latest
bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
Cite
×