A Tutorial Introduction to PVS. http://www.dcs.gla.ac.uk/proper/papers.html (0)

by J Crow, S Owre, J Rushby, N Shankar, M Srivas