◀ Click to filter
Total displayed: 1
Order by:
- AlloyMax: Bringing Maximum Satisfaction toRelational Specifications
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE),
2021