Efficiently executing PVS (1999)

by N Shankar
Venue:Computer Science Laboratory, SRI International, Menlo Park, CA, Project report