Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece
David Garlan

Registered user since Mon 24 Apr 2017

Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University, USA
Research interests:Software architecture, self-adaptive systems, applied formal methods

Contributions

ESEC/FSE 2021 AlloyMax: Bringing Maximum Satisfaction to Relational Specifications
Show activities from other conferences

Using general profile