Denis Kuperberg
AuthID: R-00H-21J
1
TITLE: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTHORS: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
PUBLISHED: 2016, SOURCE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016
AUTHORS: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
PUBLISHED: 2016, SOURCE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016
