Using PVS to Prove Some Theorems Of David Parnas.

John M. Rushby Mandayam K. Srivas

Published in: HUG (1993)

Keyphrases

real time
theorem proving
database
real world
artificial intelligence
multimedia
decision trees
learning environment
digital libraries
learning curve
digital topology