Bart Jacobs, John M. Rushby. PVS. In Freek Wiedijk, editor, The Seventeen Provers of the World, Foreword by Dana S. Scott. Volume 3600 of Lecture Notes in Computer Science, pages 24-27, Springer, 2006. [doi]
@inproceedings{JacobsR06,
title = {PVS},
author = {Bart Jacobs and John M. Rushby},
year = {2006},
doi = {10.1007/11542384_5},
url = {http://dx.doi.org/10.1007/11542384_5},
researchr = {https://researchr.org/publication/JacobsR06},
cites = {0},
citedby = {0},
pages = {24-27},
booktitle = {The Seventeen Provers of the World, Foreword by Dana S. Scott},
editor = {Freek Wiedijk},
volume = {3600},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30704-4},
}