Sam Owre
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
A Brief Overview of PVS
Sam Owre and others (2008) · Lecture notes in computer science · Springer Science+Business Media
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
Andrew A. Adams and others (2001) · Lecture notes in computer science · Springer Science+Business Media
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
Sam Owre and others (1995) · Institute of Electrical and Electronics Engineers (IEEE)
A tutorial on using PVS for hardware verification
Sam Owre and others (1995) · Lecture notes in computer science · Springer Science+Business Media
PVS: A prototype verification system
Sam Owre and others (1992) · Lecture notes in computer science · Springer Science+Business Media