Language Support for Navigating Architecture Design in Closed Form

ACM Journal on Emerging Technologies in Computing Systems - United States
doi 10.1145/3360047