MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Sam Owre – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Random testing in PVS  
  • by Sam Owre — 2006 — In: Workshop on Automated Formal Methods (AFM
  • …Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood…
  • Cited by 2 (1 self) – Add To MetaCart
  • The Formal Semantics of PVS1  
  • by Sam Owre, Natarajan Shankar — 1997
  • … The Formal Semantics of PVS1 Sam Owre and Natarajan Shankar owre@(email omitted); shankar…
  • Add To MetaCart
  • Principles and pragmatics of subtyping in PVS  
  • by Natarajan Shankar, Sam Owre — 1999 — Recent Trends in Algebraic Development Techniques, WADT ’99. Volume 1827 of Lecture Notes in Computer Science
  • …Principles and Pragmatics of Subtyping in PVS ? Natarajan Shankar and Sam Owre Computer Science…
  • Cited by 3 (0 self) – Add To MetaCart
  • Writing PVS proof strategies  
  • by Sam Owre, Natarajan Shankar — 2003 — Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), number CP-2003-212448 in NASA Conference Publication
  • …Writing PVS Proof Strategies ⋆ Sam Owre and Natarajan Shankar Computer Science Laboratory SRI…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB