ALLOYMAX: Bringing Maximum Satisfaction to Relational Specifications

AuthID
P-00V-HMW
7
Author(s)
Zhang, CJ
·
Wagner, R
·
Orvalho, P
·
Garlan, D
·
Martins, R
·
Kang, E
4
Editor(es)
Spinellis,D;Gousios,G;Chechik,M;DiPenta,M
Tipo de Documento
Proceedings Paper
Year published
2021
Publicado
in PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)
Páginas: 155-167 (13)
Conference
29Th Acm Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (Esec/Fse), Date: AUG 23-28, 2021, Location: ELECTR NETWORK, Patrocinadores: Assoc Comp Machinery, ACM SIGSOFT
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85116208784
Wos: WOS:000744425500019
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.