Title: The formal semantics of PVS
Subjects: Specifications, Programming languages, Semantics, Program verification (Computers), Prototypes