DMCA

Analyzing tabular and state-transition requirements specifications in PVS (1997)

by Sam Owre , John Rushby , Natarajan Shankar
Citations:10 - 0 self