Daniel Welch 0001, Murali Sitaraman. Engineering and Employing Reusable Software Components for Modular Verification. In Goetz Botterweck, Cláudia Werner, editors, Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings. Volume 10221 of Lecture Notes in Computer Science, pages 139-154, 2017. [doi]
Abstract is missing.