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]
@inproceedings{Dold98,
title = {Software Development in PVS Using Generic Development Steps},
author = {Axel Dold},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1766/17660146.htm},
researchr = {https://researchr.org/publication/Dold98},
cites = {0},
citedby = {0},
pages = {146-161},
booktitle = {Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
editor = {Mehdi Jazayeri and Rüdiger Loos and David R. Musser},
volume = {1766},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41090-2},
}