Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman. Generating Verified Java Components through RESOLVE. 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 11-20, Springer, 2009. [doi]
Abstract is missing.