language: en

Abstract Datatypes in PVS

S. Owre N. Shankar
Computer Science Laboratory SRI International
Menlo Park CA 94025

[Phone: (415)859-5272]

fowre, shankarg@csl.sri.com

[1 The development of PVS was funded by internal research funding from SRI International. Support for the preparation of this document came from the National Aeronautics and Space Administration Langley Research Center under Contract NAS1-18969. This report is a revised and updated]