Axel Dold. Software Development in PVS Using Generic Development Steps. 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 146-161, Springer, 1998. [doi]
Abstract is missing.