Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide. Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?. In Stephen H. Edwards, Gregory Kulczycki, editors, Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings. Volume 5791 of Lecture Notes in Computer Science, pages 31-40, Springer, 2009. [doi]
Abstract is missing.