Leo Pruijt, Jan Martijn E. M. van der Werf. Dependency Types and Subtypes in the Context of Architecture Reconstruction and Compliance Checking. In Ivica Crnkovic, editor, Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. pages 56, ACM, 2015. [doi]
Abstract is missing.