A Tutorial Introduction to PVS," presented at (1995)

by J Crow, S Owre, J Rushby, N Shankar, M Srivas
Venue:Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, FL