The following pages link to Sam Owre (Q1687751):
Displaying 9 items.
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- (Q2722014) (← links)
- (Q2754118) (← links)
- A Brief Overview of PVS (Q3543645) (← links)
- (Q4553256) (← links)
- (Q4790649) (← links)
- Automated Reasoning (Q5307060) (← links)
- Computer Aided Verification (Q5312938) (← links)
- The Semantics of Datalog for the Evidential Tool Bus (Q5403073) (← links)
