David Garlan

Latest

• AlloyMax: Bringing Maximum Satisfaction to Relational Specifications, ESEC/FSE 2021