A model for detecting faults in build specifications

JOURNAL ARTICLE published 13 November 2020 in Proceedings of the ACM on Programming Languages

Research funded by European Commission (825328)

Authors: Thodoris Sotiropoulos | Stefanos Chaliasos | Dimitris Mitropoulos | Diomidis Spinellis