from CADE 11, Saratoga Springs, NY, June 1992

Authors

S. Owre, J. M. Rushby, and N. Shankar

Abstract

This is the first paper describing PVS, presented at CADE in 1992.

gzipped postscript or postscript

BibTeX Entry

@inproceedings{cade92-pvs,
    AUTHOR = {{S.} Owre and {J.} {M.} Rushby and and {N.} Shankar},
    TITLE = {{PVS:} {A} Prototype Verification System},
    BOOKTITLE = {11th International Conference on Automated Deduction (CADE)},
    YEAR = {1992},
    EDITOR = {Deepak Kapur},
    SERIES = {Lecture Notes in Artificial Intelligence},
    VOLUME = {607},
    PAGES = {748--752},
    ADDRESS = {Saratoga, {NY}},
    MONTH = {jun},
    PUBLISHER = {Springer-Verlag},
    URL = {http://www.csl.sri.com/papers/cade92-pvs/}
}