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