Bibliografía (4 obras)
Theory interpretations in PVS
2001
The formal semantics of PVS
1999
Abstract datatypes in PVS
1997
Analyzing tabular and state-transition requirements specifications in PVS