Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
S
Sam Owre
4 books found
Books by Sam Owre
Abstract datatypes in PVS
Sam Owre
Abstract datatypes in PVS
Sam Owre
1997
No page data
The formal semantics of PVS
Sam Owre
The formal semantics of PVS
Sam Owre
1999
No page data
Theory interpretations in PVS
Sam Owre
Theory interpretations in PVS
Sam Owre
2001
No page data
Analyzing tabular and state-transition requirements specifications in PVS
Sam Owre
Analyzing tabular and state-transition requirements specifications in PVS
Sam Owre
1997
No page data