S

Sam Owre

4 books found

Books by Sam Owre
Abstract datatypes in PVSSam Owre

Abstract datatypes in PVS

Sam Owre

1997No page data
The formal semantics of PVSSam Owre

The formal semantics of PVS

Sam Owre

1999No page data
Theory interpretations in PVSSam Owre

Theory interpretations in PVS

Sam Owre

2001No page data
Analyzing tabular and state-transition requirements specifications in PVSSam Owre

Analyzing tabular and state-transition requirements specifications in PVS

Sam Owre

1997No page data