Matthew B. Dwyer, Corina S. Pasareanu. Model Checking Generic Container Implementations. In Mehdi Jazayeri, Rüdiger Loos, David R. Musser, editors, Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers. Volume 1766 of Lecture Notes in Computer Science, pages 162-177, Springer, 1998. [doi]
Abstract is missing.