Kenneth Johnson, Radu Calinescu. Efficient re-resolution of SMT specifications for evolving software architectures. In Lionel Seinturier, Tomas Bures, John D. McGregor, editors, QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014. pages 93-102, ACM, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.